real blub_return_x918 real blub_return_y197 real blub_return_z882 function initGlobals135() { } function main671() { initGlobals135(); init_test153(); } function config616() { } function init_test153() { local real v_x863 local real v_y293 local real v_z132 local real tuple_temp873 local real tuple_temp192 local real tuple_temp937 tuple_temp_873 = blub205(4., 5.); tuple_temp_192 = blub_return_y_197; tuple_temp_937 = blub_return_z_882; v_x_863 = tuple_temp_873; v_y_293 = tuple_temp_192; v_z_132 = tuple_temp_937; if (((v_x_863 == 4.) and (v_y_293 == 5.)) and (v_z_132 == 0.)) { testSuccess153(); } else { }; } function blub205(real x211, real y123) returns real { blub_return_x_918 = x_211; blub_return_y_197 = y_123; blub_return_z_882 = 0.; return blub_return_x_918; } IS_NATIVE function testSuccess153() { }