function initGlobals184() { } function main803() { initGlobals184(); init_test132(); } function config206() { } function init_test132() { local integer a_a112 local integer a_b783 local integer a_c855 local integer b_a368 local integer b_b146 local integer b_c150 local integer c_a197 local integer c_b950 local integer c_c933 local integer tuple_temp952 local integer tuple_temp815 local integer tuple_temp134 local integer tuple_temp107 local integer tuple_temp211 local integer tuple_temp166 local integer tuple_temp139 local integer tuple_temp104 local integer tuple_temp213 tuple_temp_952 = 1; tuple_temp_815 = 2; tuple_temp_134 = 3; a_a_112 = tuple_temp_952; a_b_783 = tuple_temp_815; a_c_855 = tuple_temp_134; tuple_temp_107 = 1; tuple_temp_211 = 2; tuple_temp_166 = 3; b_a_368 = tuple_temp_107; b_b_146 = tuple_temp_211; b_c_150 = tuple_temp_166; tuple_temp_139 = 1; tuple_temp_104 = 1; tuple_temp_213 = 3; c_a_197 = tuple_temp_139; c_b_950 = tuple_temp_104; c_c_933 = tuple_temp_213; if ((((a_a_112 == b_a_368) and (a_b_783 == b_b_146)) and (a_c_855 == b_c_150)) and (not (((b_a_368 == c_a_197) and (b_b_146 == c_b_950)) and (b_c_150 == c_c_933)))) { testSuccess132(); } else { }; } IS_NATIVE function testSuccess132() { }