real vec_plus_return_x121 real vec_plus_return_y508 real vec_plus_return_z258 function initGlobals178() { } function main156() { initGlobals178(); init_test150(); } function config196() { } function init_test150() { local real temp_tuple_y115 local real tuple_temp193 vec_plus223(1., 2., 3., 4., 5., 6.); tuple_temp_193 = vec_plus_return_y_508; temp_tuple_y_115 = tuple_temp_193; if (temp_tuple_y_115 == 7.) { testSuccess304(); } else { }; } function vec_plus223(real this_x475, real this_y999, real this_z195, real other_x151, real other_y733, real other_z201) returns real { if (this_x_475 > 0.) { vec_plus_return_x_121 = (this_x_475 + other_x_151); vec_plus_return_y_508 = (this_y_999 + other_y_733); vec_plus_return_z_258 = (this_z_195 + other_z_201); return vec_plus_return_x_121; } else { vec_plus_return_x_121 = (this_x_475 + other_x_151); vec_plus_return_y_508 = (this_y_999 + other_y_733); vec_plus_return_z_258 = (this_z_195 + other_z_201); return vec_plus_return_x_121; }; } IS_NATIVE function testSuccess304() { }