function initGlobals191() { 
}


function main145() { 
    initGlobals191();
    init_test163();
}


function config139() { 
}


function init_test163() { 
    local integer r_min_x181
    local integer tuple_temp145
    local integer tuple_temp144
    tuple_temp_145 = 1;
    r_min_x_181 = tuple_temp_145;
    tuple_temp_144 = 5;
    r_min_x_181 = tuple_temp_144;
    if (r_min_x_181 == 5) {
        testSuccess416();
    } else {
    };
}


IS_NATIVE function testSuccess416() { 
}