function initGlobals236() { } function main209() { initGlobals236(); init_Test516(); } function config164() { } function init_Test516() { local integer a_val148 local integer res_val783 local integer this_val183 local integer v637 local integer pow166 local integer cond_result_1138 local integer this176 local integer x857 local integer result782 local integer i114 local integer temp189 local integer this_val935 local integer pow197 local integer tuple_temp182 local integer tuple_temp212 local integer tuple_temp759 local integer tuple_temp203 local integer tuple_temp181 local integer tuple_temp182 tuple_temp_182 = 5; a_val_148 = tuple_temp_182; tuple_temp_212 = a_val_148; this_val_183 = tuple_temp_212; v_637 = 1; this_176 = 2; x_857 = v_637; result_782 = 1; i_114 = 1; temp_189 = x_857; loop { exitwhen (i_114 > temp_189); result_782 = (result_782 * this_176); i_114 = (i_114 + 1); }; pow_166 = result_782; tuple_temp_759 = this_val_183; this_val_935 = tuple_temp_759; pow_197 = pow_166; if (not ((this_val_935 mod (pow_197 * 2)) >= pow_197)) { tuple_temp_203 = (this_val_183 + pow_166); cond_result_1_138 = tuple_temp_203; } else { tuple_temp_181 = this_val_183; cond_result_1_138 = tuple_temp_181; }; tuple_temp_182 = cond_result_1_138; res_val_783 = tuple_temp_182; if (res_val_783 == 7) { testSuccess123(); } else { testFail169(I2S436(res_val_783)); }; } IS_NATIVE function testSuccess123() { } IS_NATIVE IS_EXTERN @extern function I2S436(integer i940) returns string { } IS_NATIVE function testFail169(string msg185) { }