function initGlobals158() { 
}


function main171() { 
    local integer ints_0757
    local integer ints_1192
    local integer ints_2550
    local integer ints_3701
    local integer sum128
    initGlobals158();
    ints_0_757 = 1;
    ints_1_192 = 2;
    ints_2_550 = 3;
    ints_3_701 = 4;
    sum_128 = 0;
    sum_128 = (sum_128 + ints_0_757);
    sum_128 = (sum_128 + ints_1_192);
    sum_128 = (sum_128 + ints_2_550);
    sum_128 = (sum_128 + ints_3_701);
    if (sum_128 == 10) {
        testSuccess250();
    } else {
    };
}


function config764() { 
}


IS_NATIVE function testSuccess250() { 
}