DEBUG2PRINT1


in genUtil.h


#define DEBUG2PRINT1(x,x1) fprintf(stderr,x,x1);fflush(stderr);