1typedef struct { int id; } FILE;2int fprintf(FILE*restrict, const char* restrict format, ...);3extern FILE *__stderrp;4
