12f04f1843ca0ffca13b8b0d4dadd1f50dffb38b8Douglas Gregortypedef struct { int id; } FILE; 22f04f1843ca0ffca13b8b0d4dadd1f50dffb38b8Douglas Gregorint fprintf(FILE*restrict, const char* restrict format, ...); 386164e8f51fa89a3ec904607c3848dc4a21b12cfEli Friedmanextern FILE *__stderrp; 4