vgen_debug_printf
#define DEBUG_PRINTF vgen_debug_printf
void vgen_debug_printf(const char *fname, vgen_t *vgenp,
extern void vgen_debug_printf(const char *fname, vgen_t *vgenp,
#define DEBUG_PRINTF vgen_debug_printf
#define DEBUG_PRINTF vgen_debug_printf
extern void vgen_debug_printf(const char *fname, vgen_t *vgenp,