int printf(const char* fmt, ...);
int puts(const char*);
int putchar(int);