test/Modules/Inputs/System/usr/include/stdio.h

typedef struct { int id; } FILE;
int fprintf(FILE*restrict, const char* restrict format, ...);