function initGlobals210() { } function main212() { initGlobals210(); init_test107(); } function config430() { } function init_test107() { local integer a_a207 local integer a_b261 local integer a_c190 local integer b_a440 local integer b_b167 local integer b_c202 local integer c_a195 local integer c_b167 local integer c_c459 local integer tuple_temp838 local integer tuple_temp740 local integer tuple_temp444 local integer tuple_temp614 local integer tuple_temp381 local integer tuple_temp142 local integer tuple_temp116 local integer tuple_temp781 local integer tuple_temp200 tuple_temp_838 = 1; tuple_temp_740 = 2; tuple_temp_444 = 3; a_a_207 = tuple_temp_838; a_b_261 = tuple_temp_740; a_c_190 = tuple_temp_444; tuple_temp_614 = 1; tuple_temp_381 = 2; tuple_temp_142 = 3; b_a_440 = tuple_temp_614; b_b_167 = tuple_temp_381; b_c_202 = tuple_temp_142; tuple_temp_116 = 1; tuple_temp_781 = 1; tuple_temp_200 = 3; c_a_195 = tuple_temp_116; c_b_167 = tuple_temp_781; c_c_459 = tuple_temp_200; if ((((a_a_207 != c_a_195) or (a_b_261 != c_b_167)) or (a_c_190 != c_c_459)) and (not (((a_a_207 != b_a_440) or (a_b_261 != b_b_167)) or (a_c_190 != b_c_202)))) { testSuccess194(); } else { }; } IS_NATIVE function testSuccess194() { }