1#include <stdarg.h>2#include <stdio.h>34#include <scc/scc.h>56int enadebug;78void9dbg(const char *fmt, ...)10{11 if (!enadebug)12 return;13 va_list va;14 va_start(va, fmt);15 vfprintf(stderr, fmt, va);16 putc('\n', stderr);17 va_end(va);18 return;19}