public static void Main() { //JGFInstrumentor.printHeader(1,0); JGFCreateBench crb = new JGFCreateBench(); crb.JGFrun(); }