#define BUFSIZ 1024
#endif
+#ifndef EOF
+#define EOF -1
+#endif
+
typedef int FILE;
extern FILE *stdin;
int fflush(FILE *stream);
FILE *fopen(const char *path, const char *mode);
+FILE *freopen(const char *path, const char *mode, FILE *stream);
char *fgets(char *s, int size, FILE *stream);
size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream);
size_t fwrite(const void *ptr, size_t size, size_t nmemb, FILE *stream);
+int getc(FILE *stream);
+int fputc(int c, FILE *stream);
+int ferror(FILE *stream);
+int feof(FILE *stream);
int fclose(FILE *fp);
#endif /* __STDIO_H */