#include <stdio.h>
#ifndef BASTARD_DEBUG_DEFS
#define BASTARD_DEBUG_DEFS

   #ifndef DEBUG_TIME
   #define DEBUG_TIME      0x00008000  /* horrendous debug output */
   #endif
/* e.g. DEBUG_PrintVar( ext->lib, %x ); */
#define DEBUG_Print(x) if (GetOption(DEBUG_TIME)) fprintf( stderr,  x)
#define DEBUG_PrintVar(x, y) if (GetOption(DEBUG_TIME)) \
                                 fprintf( stderr, #x " = " #y "\n", x)

#define DEBUG_PrintMsg(x, y) if (GetOption(DEBUG_TIME)) \
                                 fprintf( stderr, x, y )

#endif
