function initGlobals165() { 
}


function main178() { 
    initGlobals165();
    init_test820();
}


function config208() { 
}


function init_test820() { 
    local real v_x375
    local real v_y576
    local real v_z589
    local real u_y206
    local real tuple_temp659
    local real tuple_temp112
    local real tuple_temp783
    local real tuple_temp368
    tuple_temp_659 = 1.;
    tuple_temp_112 = 2.;
    tuple_temp_783 = 3.;
    v_x_375 = tuple_temp_659;
    v_y_576 = tuple_temp_112;
    v_z_589 = tuple_temp_783;
    v_x_375 = 4.;
    tuple_temp_368 = v_y_576;
    u_y_206 = tuple_temp_368;
    u_y_206 = 5.;
    if (((v_x_375 == 4.) and (v_y_576 == 2.)) and (u_y_206 == 5.)) {
        testSuccess138();
    } else {
    };
}


IS_NATIVE function testSuccess138() { 
}