USAGEPRINT2
in genUtil.h
#define USAGEPRINT2(x,x1,x2) fprintf(stderr,x,x1,x2);