integer test_x154 integer test_x154 = 0 function initGlobals115() { } function main143() { initGlobals115(); init_test164(); } function config149() { } function init_test164() { foo943(); if (test_x_154 == 1) { testSuccess180(); } else { }; } function foo943() returns boolean { if (test_x_154 == 0) { test_x_154 = 1; return true; } else { }; return false; } IS_NATIVE function testSuccess180() { }