function initGlobals147() { } function main161() { initGlobals147(); init_Test863(); } function config112() { } function init_Test863() { local integer a_val144 local integer res_val322 local integer this_val214 local integer v932 local integer pow319 local integer cond_result_1876 local integer this346 local integer x116 local integer result795 local integer i940 local integer temp185 local integer this_val807 local integer pow140 local integer tuple_temp803 local integer tuple_temp187 local integer tuple_temp125 local integer tuple_temp395 local integer tuple_temp207 local integer tuple_temp368 tuple_temp_803 = 5; a_val_144 = tuple_temp_803; tuple_temp_187 = a_val_144; this_val_214 = tuple_temp_187; v_932 = 1; this_346 = 2; x_116 = v_932; result_795 = 1; i_940 = 1; temp_185 = x_116; loop { exitwhen (i_940 > temp_185); result_795 = (result_795 * this_346); i_940 = (i_940 + 1); }; pow_319 = result_795; tuple_temp_125 = this_val_214; this_val_807 = tuple_temp_125; pow_140 = pow_319; if (not ((this_val_807 mod (pow_140 * 2)) >= pow_140)) { tuple_temp_395 = (this_val_214 + pow_319); cond_result_1_876 = tuple_temp_395; } else { tuple_temp_207 = this_val_214; cond_result_1_876 = tuple_temp_207; }; tuple_temp_368 = cond_result_1_876; res_val_322 = tuple_temp_368; if (res_val_322 == 7) { testSuccess540(); } else { testFail155(I2S894(res_val_322)); }; } IS_NATIVE function testSuccess540() { } IS_NATIVE IS_EXTERN @extern function I2S894(integer i370) returns string { } IS_NATIVE function testFail155(string msg236) { }