87 int fileno(FILE *stream)  in fileno()
100 int fflush(FILE *stream)  in fflush()
116 int fclose(FILE *stream)  in fclose()
133 #define getc(stream) fgetc(stream)  argument
136 int fgetc(FILE* stream)  in fgetc()
154 #define putc(c, stream) fputc(c, stream)  argument
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()
388 int vfprintf(FILE *stream, const char *fmt, va_list args)  in vfprintf()
400 int fprintf(FILE *stream, const char *fmt, ...)  in fprintf()
426 	FILE *stream;  in vdprintf()  local
607 int setvbuf(FILE *stream __attribute__((unused)),  in setvbuf()