function initGlobals846() { 
}


function main127() { 
    initGlobals846();
    init_test707();
}


function config890() { 
}


function init_test707() { 
    local integer r_min_x198
    local integer tuple_temp192
    local integer tuple_temp827
    tuple_temp_192 = 1;
    r_min_x_198 = tuple_temp_192;
    tuple_temp_827 = 5;
    r_min_x_198 = tuple_temp_827;
    if (r_min_x_198 == 5) {
        testSuccess155();
    } else {
    };
}


IS_NATIVE function testSuccess155() { 
}