function initGlobals189() { } function main295() { initGlobals189(); init_test553(); } function config530() { } function init_test553() { local integer x942 x_942 = 1; if (x_942 > 5) { x_942 = (x_942 + 1); if (x_942 > 10) { x_942 = (x_942 * 2); } else { }; } else { }; }