function initGlobals881() { } function main110() { local integer x209 local integer y102 initGlobals881(); x_209 = 1; y_102 = 2; if (x_209 > 10) { x_209 = (x_209 - 1); y_102 = (y_102 + 1); } else { }; x_209 = (x_209 + 1); } function config411() { }