function initGlobals178() { } function main212() { local integer x155 initGlobals178(); x_155 = 1; if (x_155 > 5) { x_155 = (x_155 + 1); if (x_155 > 10) { x_155 = (x_155 * 2); } else { }; } else { }; } function config147() { }