void xprintf(const char *str, ...);