/* debug.h */

#define _ ,

#define debug if (!DEBUG) ; else

#if DEBUG
extern void debug_file (char *filename);
extern int dprintf (char *format, ...);
extern void display (char *format, ...);
#else
#define debug_file(filename)
#define dprintf(args)
#define display(args)
#endif
