function initGlobals161() { } function main198() { initGlobals161(); init_test831(); } function config153() { } function init_test831() { local real v_x796 local real v_y156 local real v_z468 local real u_y104 local real tuple_temp163 local real tuple_temp697 local real tuple_temp821 local real tuple_temp962 tuple_temp_163 = 1.; tuple_temp_697 = 2.; tuple_temp_821 = 3.; v_x_796 = tuple_temp_163; v_y_156 = tuple_temp_697; v_z_468 = tuple_temp_821; v_x_796 = 4.; tuple_temp_962 = v_y_156; u_y_104 = tuple_temp_962; u_y_104 = 5.; if (((v_x_796 == 4.) and (v_y_156 == 2.)) and (u_y_104 == 5.)) { testSuccess104(); } else { }; } IS_NATIVE function testSuccess104() { }