extern void printf(char *fmt, ...);
extern void puts(char *str);
extern void putc(int c);
extern int getc(void);