int log_putchar(char);
int log_puts(const char*);
void log(const char*, ...);