function initGlobals247() { 
}


function main131() { 
    local integer ints_0117
    local integer ints_1764
    local integer ints_2141
    local integer ints_3205
    local integer sum835
    initGlobals247();
    ints_0_117 = 1;
    ints_1_764 = 2;
    ints_2_141 = 3;
    ints_3_205 = 4;
    sum_835 = 0;
    sum_835 = (sum_835 + ints_0_117);
    sum_835 = (sum_835 + ints_1_764);
    sum_835 = (sum_835 + ints_2_141);
    sum_835 = (sum_835 + ints_3_205);
    if (sum_835 == 10) {
        testSuccess552();
    } else {
    };
}


function config336() { 
}


IS_NATIVE function testSuccess552() { 
}