function initGlobals124() { 
}


function main762() { 
    initGlobals124();
    if (((0 castTo integer) castTo integer) != 1) {
        testSuccess140();
    } else {
    };
}


function config128() { 
}


IS_NATIVE function testSuccess140() { 
}