#ifdef DEBUGGING
#define DEBUG(x)	printf x
#define ENTER(x)	printf("entering: %s\n","x")
#define LEAVE(x)	printf("leaving: %s\n","x")
#else
#define DEBUG(x)
#define ENTER(x)
#define LEAVE(x)
#endif