| typedef int FILE; | |
| extern FILE *xmon_stdin, *xmon_stdout; | |
| #define EOF (-1) | |
| #define stdin xmon_stdin | |
| #define stdout xmon_stdout | |
| #define printf xmon_printf | |
| #define fprintf xmon_fprintf | |
| #define fputs xmon_fputs | |
| #define fgets xmon_fgets | |
| #define putchar xmon_putchar | |
| #define getchar xmon_getchar | |
| #define putc xmon_putc | |
| #define getc xmon_getc | |
| #define fopen(n, m) NULL | |
| #define fflush(f) do {} while (0) | |
| #define fclose(f) do {} while (0) | |
| extern char *fgets(char *, int, void *); | |
| extern void xmon_fprintf(void *, const char *, ...); | |
| extern void xmon_sprintf(char *, const char *, ...); | |
| extern void xmon_puts(char*); | |
| #define perror(s) printf("%s: no files!\n", (s)) |