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