#ifndef DEBUG_H
#define	DEBUG_H

//#define DEBUG
//#define BENCHMARK

#ifndef DEBUG
#define NDEBUG
#endif

#include <assert.h>

void not_implemented(char* msg);
void abort(char* msg);

extern int debug_cnt;

#endif	/* DEBUG_H */