40 typedef struct FILE {  struct
42 } FILE;  argument
44 static __attribute__((unused)) FILE* const stdin  = (FILE*)(intptr_t)~STDIN_FILENO;
45 static __attribute__((unused)) FILE* const stdout = (FILE*)(intptr_t)~STDOUT_FILENO;
46 static __attribute__((unused)) FILE* const stderr = (FILE*)(intptr_t)~STDERR_FILENO;
50 FILE *fdopen(int fd, const char *mode __attribute__((unused)))  in fdopen()
56 	return (FILE*)(intptr_t)~fd;  in fdopen()
60 FILE *fopen(const char *pathname, const char *mode)  in fopen()
87 int fileno(FILE *stream)  in fileno()
100 int fflush(FILE *stream)  in fflush()
116 int fclose(FILE *stream)  in fclose()
136 int fgetc(FILE* stream)  in fgetc()
157 int fputc(int c, FILE* stream)  in fputc()
179 int _fwrite(const void *buf, size_t size, FILE *stream)  in _fwrite()
195 size_t fwrite(const void *s, size_t size, size_t nmemb, FILE *stream)  in fwrite()
208 int fputs(const char *s, FILE *stream)  in fputs()
224 char *fgets(char *s, int size, FILE *stream)  in fgets()
386 	return _fwrite(buf, size, (FILE *)state);  in __nolibc_fprintf_cb()
390 int vfprintf(FILE *stream, const char *fmt, va_list args)  in vfprintf()
402 int fprintf(FILE *stream, const char *fmt, ...)  in fprintf()
428 	FILE *stream;  in vdprintf()
613 int setvbuf(FILE *stream __attribute__((unused)),  in setvbuf()