#ifdef DEBUG_OUTPUT
#define DEBUG(format, args...)    fprintf(stdout, format, ## args )
#else
#define DEBUG(format, args...)
#endif

#define CRASH(format, args...)    fprintf(stderr, "%s:%d: ", __FILE__, __LINE__); fprintf(stdout, format, ## args ); exit(-1)
#define OUTPUT(format, args...)   fprintf(stdout, format, ## args )