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)) |