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