1 package dot.junit.opcodes.if_gtz.d; 2 3 public class T_if_gtz_2 { 4 run(float a)5 public int run(float a) { 6 return a > 0 ? 1 : 1234; 7 } 8 } 9