DEBUGPRINT1
in genUtil.h
#define DEBUGPRINT1(x,x1) fprintf(stderr,x,x1);fflush(stderr);