function initGlobals199() { 
}


function main210() { 
    initGlobals199();
    init_test186();
}


function config207() { 
}


function init_test186() { 
    local real v_x154
    local real v_y176
    local real v_z509
    local real u_y212
    local real tuple_temp229
    local real tuple_temp156
    local real tuple_temp757
    local real tuple_temp182
    tuple_temp_229 = 1.;
    tuple_temp_156 = 2.;
    tuple_temp_757 = 3.;
    v_x_154 = tuple_temp_229;
    v_y_176 = tuple_temp_156;
    v_z_509 = tuple_temp_757;
    v_x_154 = 4.;
    tuple_temp_182 = v_y_176;
    u_y_212 = tuple_temp_182;
    u_y_212 = 5.;
    if (((v_x_154 == 4.) and (v_y_176 == 2.)) and (u_y_212 == 5.)) {
        testSuccess485();
    } else {
    };
}


IS_NATIVE function testSuccess485() { 
}