real vec_plus_return_x155 real vec_plus_return_y912 real vec_plus_return_z158 function initGlobals176() { } function main128() { initGlobals176(); init_test124(); } function config929() { } function init_test124() { local real tuple_temp117 local real tuple_temp286 local real tuple_temp119 tuple_temp_117 = vec_plus141(1., 2., 3., 4., 5., 6.); tuple_temp_286 = vec_plus_return_y_912; tuple_temp_119 = vec_plus_return_z_158; if (((tuple_temp_117 == 5.) and (tuple_temp_286 == 7.)) and (tuple_temp_119 == 9.)) { testSuccess203(); } else { }; } function vec_plus141(real this_x389, real this_y116, real this_z158, real other_x523, real other_y284, real other_z472) returns real { vec_plus_return_x_155 = (this_x_389 + other_x_523); vec_plus_return_y_912 = (this_y_116 + other_y_284); vec_plus_return_z_158 = (this_z_158 + other_z_472); return vec_plus_return_x_155; } IS_NATIVE function testSuccess203() { }