55 int fileno(FILE *stream)  in fileno()
68 int fflush(FILE *stream)  in fflush()
84 int fclose(FILE *stream)  in fclose()
101 #define getc(stream) fgetc(stream)  argument
104 int fgetc(FILE* stream)  in fgetc()
122 #define putc(c, stream) fputc(c, stream)  argument
125 int fputc(int c, FILE* stream)  in fputc()
147 int _fwrite(const void *buf, size_t size, FILE *stream)  in _fwrite()
163 size_t fwrite(const void *s, size_t size, size_t nmemb, FILE *stream)  in fwrite()
176 int fputs(const char *s, FILE *stream)  in fputs()
192 char *fgets(char *s, int size, FILE *stream)  in fgets()
217 int vfprintf(FILE *stream, const char *fmt, va_list args)  in vfprintf()
329 int fprintf(FILE *stream, const char *fmt, ...)  in fprintf()
457 int setvbuf(FILE *stream __attribute__((unused)),  in setvbuf()