function initGlobals203() { } function main583() { local integer x212 initGlobals203(); x_212 = 1; if (x_212 > 10) { x_212 = (x_212 - 1); } else { }; x_212 = (x_212 + 1); } function config204() { }