dbg_vprintf
# define __outv dbg_vprintf
void dbg_vprintf(const char* format, va_list args);
dbg_vprintf(format, args);