function initGlobals161() { 
}


function main481() { 
    initGlobals161();
    init_test159();
}


function config139() { 
}


function init_test159() { 
    local integer r_min_x154
    local integer tuple_temp144
    tuple_temp_144 = 1;
    r_min_x_154 = tuple_temp_144;
    r_min_x_154 = 5;
    if (r_min_x_154 == 5) {
        testSuccess132();
    } else {
    };
}


IS_NATIVE function testSuccess132() { 
}