function initGlobals127() { } function main202() { initGlobals127(); init_test171(); } function config237() { } function init_test171() { local real v_x180 local real v_y184 local real v_z171 local real this_x438 local real this_y205 local real this_z165 local real other_x747 local real other_y153 local real other_z165 local real tuple_temp187 local real tuple_temp795 local real tuple_temp179 local real tuple_temp342 local real tuple_temp157 local real tuple_temp705 local real tuple_temp212 local real tuple_temp107 local real tuple_temp602 tuple_temp_187 = 1.; tuple_temp_795 = 2.; tuple_temp_179 = 3.; this_x_438 = tuple_temp_187; this_y_205 = tuple_temp_795; this_z_165 = tuple_temp_179; tuple_temp_342 = 4.; tuple_temp_157 = 5.; tuple_temp_705 = 6.; other_x_747 = tuple_temp_342; other_y_153 = tuple_temp_157; other_z_165 = tuple_temp_705; tuple_temp_212 = (this_x_438 + other_x_747); tuple_temp_107 = (this_y_205 + other_y_153); tuple_temp_602 = (this_z_165 + other_z_165); v_x_180 = tuple_temp_212; v_y_184 = tuple_temp_107; v_z_171 = tuple_temp_602; if (((v_x_180 == 5.) and (v_y_184 == 7.)) and (v_z_171 == 9.)) { testSuccess607(); } else { }; } IS_NATIVE function testSuccess607() { }