function initGlobals873() { 
}


function main616() { 
    local array<integer> _ar115
    initGlobals873();
    _ar_115[1] = 2;
    if (_ar_115[1] == 2) {
        testSuccess777();
    } else {
    };
    testSuccess777();
}


function config496() { 
}


IS_NATIVE function testSuccess777() { 
}