That won't work if DEBUGF is invoked without va_args.