integer C_i113 integer C_i113 = 3 integer C_firstFree723 = 0 integer C_maxIndex538 = 0 function initGlobals113() { } function main559() { initGlobals113(); init_Blub103(); init_test139(); } function config204() { } function init_Blub103() { C_i_113 = 3; } function init_test139() { C_i_113 = (C_i_113 + 1); if (C_i_113 == 4) { testSuccess186(); } else { }; } IS_NATIVE function testSuccess186() { }