void cprintf(const char *, ...);