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