#define EOF (-1)
#define printf xmon_printf
#define putchar xmon_putchar
extern int xmon_putchar(int c);
extern void xmon_puts(const char *);
extern char *xmon_gets(char *, int);
extern void xmon_printf(const char *, ...);