extern FILE *fopen (__const char *__restrict __filename,
__const char *__restrict __modes) __wur;
extern char *fgets (char *__restrict __s, int __n, FILE *__restrict __stream) __wur;
extern int fputs (__const char *__restrict __s, FILE *__restrict __stream);
extern int ferror (FILE *__stream) __THROW __wur;
extern int fclose (FILE *__stream);
extern int fflush (FILE *__stream);