void debug (const char *fmt, ...);