struct _IO_FILE { char __x; };
typedef struct _IO_FILE FILE;

// TODO(orca)
// int fprintf(FILE *__restrict, const char *__restrict, ...);