function initGlobals487() { 
}


function main129() { 
    initGlobals487();
    if (((0 castTo integer) castTo integer) != 1) {
        testSuccess131();
    } else {
    };
}


function config330() { 
}


IS_NATIVE function testSuccess131() { 
}