13ec6663bSDouglas Gregor typedef struct { int id; } FILE; 23ec6663bSDouglas Gregor int fprintf(FILE*restrict, const char* restrict format, ...); 3*276dd188SEli Friedman extern FILE *__stderrp; 4