DEBUGPRINT
in genUtil.h
#ifdef DEBUG #define DEBUGPRINT(x) fprintf(stderr,x);fflush(stderr);