function initGlobals180() { 
}


function main111() { 
    local integer r_min_x107
    local integer tuple_temp532
    initGlobals180();
    tuple_temp_532 = 1;
    r_min_x_107 = tuple_temp_532;
    r_min_x_107 = 5;
    if (r_min_x_107 == 5) {
        testSuccess938();
    } else {
    };
}


function config195() { 
}


IS_NATIVE function testSuccess938() { 
}