function initGlobals131() { 
}


function main407() { 
    initGlobals131();
    init_Test212();
}


function config125() { 
}


function init_Test212() { 
    foo_4248(1, 2, 3, 4);
}


IS_NATIVE function testSuccess786() { 
}


function foo_4248(integer ints_0124, integer ints_1570, integer ints_2234, integer ints_3578) { 
    if (((((0 + ints_0_124) + ints_1_570) + ints_2_234) + ints_3_578) == 10) {
        testSuccess786();
    } else {
    };
}