BIPUSH -4 IFLT 0 4 BIPUSH 6 BIPUSH 7