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