function initGlobals112() { } function main201() { initGlobals112(); init_test144(); } function config156() { } function init_test144() { local integer t_a_x212 local integer t_a_y104 local integer t_a_z138 local integer t_b_x123 local integer t_b_y961 local integer t_b_z189 local integer tuple_temp124 local integer tuple_temp272 local integer tuple_temp374 local integer tuple_temp197 local integer tuple_temp141 local integer tuple_temp136 local integer tuple_temp121 local integer tuple_temp409 local integer tuple_temp100 tuple_temp_124 = 1; tuple_temp_272 = 2; tuple_temp_374 = 3; tuple_temp_197 = 4; tuple_temp_141 = 5; tuple_temp_136 = 6; t_a_x_212 = tuple_temp_124; t_a_y_104 = tuple_temp_272; t_a_z_138 = tuple_temp_374; t_b_x_123 = tuple_temp_197; t_b_y_961 = tuple_temp_141; t_b_z_189 = tuple_temp_136; print705(t_a_x_212); print705(t_a_y_104); print705(t_a_z_138); print705(t_b_x_123); print705(t_b_y_961); print705(t_b_z_189); tuple_temp_121 = 7; tuple_temp_409 = 8; tuple_temp_100 = 9; t_a_x_212 = tuple_temp_121; t_a_y_104 = tuple_temp_409; t_a_z_138 = tuple_temp_100; print705(t_a_x_212); print705(t_a_y_104); print705(t_a_z_138); if (((t_a_x_212 == 7) and (t_a_y_104 == 8)) and (t_a_z_138 == 9)) { testSuccess392(); } else { }; } function print705(integer x188) { println680(I2S202(x_188)); } IS_NATIVE IS_EXTERN @extern function I2S202(integer x206) returns string { } IS_NATIVE function println680(string s349) { } IS_NATIVE function testSuccess392() { }