int debug_vprintf(const char *format, __va_list);
debug_vprintf is equivalent to debug_printf with arguments passed using stdarg.h rather than a variable number of arguments.