function initGlobals512() { 
}


function main486() { 
    initGlobals512();
    init_test437();
}


function config161() { 
}


function init_test437() { 
    local integer r_min_x137
    local integer tuple_temp304
    local integer tuple_temp141
    tuple_temp_304 = 1;
    r_min_x_137 = tuple_temp_304;
    tuple_temp_141 = 5;
    r_min_x_137 = tuple_temp_141;
    if (r_min_x_137 == 5) {
        testSuccess201();
    } else {
    };
}


IS_NATIVE function testSuccess201() { 
}