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