usr/include/stdio.h

*f8bff1c3SBenjamin Kramertypedef struct { int id; } FILE;
*f8bff1c3SBenjamin Kramerint fprintf(FILE*restrict, const char* restrict format, ...);
*f8bff1c3SBenjamin Kramerextern FILE *__stderrp;