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