function initGlobals998() { } function main158() { initGlobals998(); if (((((0 + (1 castTo integer)) + (2 castTo integer)) + (3 castTo integer)) + (4 castTo integer)) == 10) { testSuccess902(); } else { }; } function config178() { } IS_NATIVE function testSuccess902() { }