function initGlobals110() { } function main108() { initGlobals110(); init_test646(); } function config151() { } function init_test646() { local integer a_a719 local integer a_b158 local integer a_c145 local integer b_a108 local integer b_b335 local integer b_c178 local integer c_a107 local integer c_b103 local integer c_c130 local integer tuple_temp204 local integer tuple_temp187 local integer tuple_temp588 local integer tuple_temp152 local integer tuple_temp749 local integer tuple_temp118 local integer tuple_temp188 local integer tuple_temp649 local integer tuple_temp126 tuple_temp_204 = 1; tuple_temp_187 = 2; tuple_temp_588 = 3; a_a_719 = tuple_temp_204; a_b_158 = tuple_temp_187; a_c_145 = tuple_temp_588; tuple_temp_152 = 1; tuple_temp_749 = 2; tuple_temp_118 = 3; b_a_108 = tuple_temp_152; b_b_335 = tuple_temp_749; b_c_178 = tuple_temp_118; tuple_temp_188 = 1; tuple_temp_649 = 1; tuple_temp_126 = 3; c_a_107 = tuple_temp_188; c_b_103 = tuple_temp_649; c_c_130 = tuple_temp_126; if ((((a_a_719 != c_a_107) or (a_b_158 != c_b_103)) or (a_c_145 != c_c_130)) and (not (((a_a_719 != b_a_108) or (a_b_158 != b_b_335)) or (a_c_145 != b_c_178)))) { testSuccess192(); } else { }; } IS_NATIVE function testSuccess192() { }