function initGlobals136() { } function main722() { local integer x143 local integer y112 initGlobals136(); x_143 = 1; y_112 = 2; if (x_143 > 10) { x_143 = (x_143 - 1); y_112 = (y_112 + 1); } else { }; x_143 = (x_143 + 1); } function config113() { }