function initGlobals870() { 
}


function main743() { 
    initGlobals870();
    if ((- (3 * 4)) == -12) {
        testSuccess186();
    } else {
    };
}


function config486() { 
}


IS_NATIVE function testSuccess186() { 
}