+extern size_t fread(void *buf, size_t size, size_t n, FILE *fp);\r
+extern size_t fwrite(void *buf, size_t size, size_t n, FILE *fp);\r
+extern int fgetc(FILE *fp);\r
+extern int fputc(int ch, FILE *fp);\r
+\r
+extern int fprintf(FILE *fp, const char *format, ...);\r
+\r
+extern FILE *stdin;\r
+extern FILE *stdout;\r
+extern FILE *stderr;\r