DEBUG2PRINT2


in genUtil.h


#define DEBUG2PRINT2(x,x1,x2) fprintf(stderr,x,x1,x2);fflush(stderr);