real vec_plus_return_x134 real vec_plus_return_y885 real vec_plus_return_z147 function initGlobals925() { } function main698() { initGlobals925(); init_test116(); } function config132() { } function init_test116() { local real v_x152 local real v_y294 local real v_z779 local real tuple_temp149 local real tuple_temp600 local real tuple_temp168 tuple_temp_149 = vec_plus155(1., 2., 3., 4., 5., 6.); tuple_temp_600 = vec_plus_return_y_885; tuple_temp_168 = vec_plus_return_z_147; v_x_152 = tuple_temp_149; v_y_294 = tuple_temp_600; v_z_779 = tuple_temp_168; if (((v_x_152 == 5.) and (v_y_294 == 7.)) and (v_z_779 == 9.)) { testSuccess188(); } else { }; } function vec_plus155(real this_x209, real this_y706, real this_z252, real other_x155, real other_y981, real other_z206) returns real { vec_plus_return_x_134 = (this_x_209 + other_x_155); vec_plus_return_y_885 = (this_y_706 + other_y_981); vec_plus_return_z_147 = (this_z_252 + other_z_206); return vec_plus_return_x_134; } IS_NATIVE function testSuccess188() { }