function initGlobals165() { } function main942() { local real v_x192 local real v_y820 local real v_z203 local real u_y668 local real tuple_temp128 local real tuple_temp186 local real tuple_temp144 local real tuple_temp186 initGlobals165(); tuple_temp_128 = 1.; tuple_temp_186 = 2.; tuple_temp_144 = 3.; v_x_192 = tuple_temp_128; v_y_820 = tuple_temp_186; v_z_203 = tuple_temp_144; v_x_192 = 4.; tuple_temp_186 = v_y_820; u_y_668 = tuple_temp_186; u_y_668 = 5.; if (((v_x_192 == 4.) and (v_y_820 == 2.)) and (u_y_668 == 5.)) { testSuccess201(); } else { }; } function config486() { } IS_NATIVE function testSuccess201() { }