integer test_x295 integer test_x295 = 1 function initGlobals263() { } function main114() { local integer y194 local integer r387 local integer temp143 initGlobals263(); test_x_295 = 1; temp_143 = test_x_295; r_387 = 2; test_x_295 = 4; y_194 = (temp_143 + r_387); if (y_194 == 3) { testSuccess291(); } else { }; } function config139() { } IS_NATIVE function testSuccess291() { }