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() { 
}