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