33 typedef struct FILE {  struct
35 } FILE;  typedef
37 static __attribute__((unused)) FILE* const stdin  = (FILE*)(intptr_t)~STDIN_FILENO;
38 static __attribute__((unused)) FILE* const stdout = (FILE*)(intptr_t)~STDOUT_FILENO;
39 static __attribute__((unused)) FILE* const stderr = (FILE*)(intptr_t)~STDERR_FILENO;
43 FILE *fdopen(int fd, const char *mode __attribute__((unused)))  in fdopen()
49 	return (FILE*)(intptr_t)~fd;  in fdopen()
54 int fileno(FILE *stream)  in fileno()
67 int fflush(FILE *stream)  in fflush()
83 int fclose(FILE *stream)  in fclose()
103 int fgetc(FILE* stream)  in fgetc()
124 int fputc(int c, FILE* stream)  in fputc()
146 int _fwrite(const void *buf, size_t size, FILE *stream)  in _fwrite()
162 size_t fwrite(const void *s, size_t size, size_t nmemb, FILE *stream)  in fwrite()
175 int fputs(const char *s, FILE *stream)  in fputs()
191 char *fgets(char *s, int size, FILE *stream)  in fgets()
216 int vfprintf(FILE *stream, const char *fmt, va_list args)  in vfprintf()
328 int fprintf(FILE *stream, const char *fmt, ...)  in fprintf()
358 int setvbuf(FILE *stream __attribute__((unused)),  in setvbuf()