void debug_printf(char* fmt, ...);