integer bitset_add_return_val154 function initGlobals191() { } function main102() { initGlobals191(); init_Test915(); } function config947() { } function init_Test915() { local integer a_val765 local integer res_val724 local integer tuple_temp165 local integer tuple_temp166 tuple_temp_165 = 5; a_val_765 = tuple_temp_165; tuple_temp_166 = bitset_add150(a_val_765, 1); res_val_724 = tuple_temp_166; if (res_val_724 == 7) { testSuccess177(); } else { testFail175(I2S704(res_val_724)); }; } function int_pow114(integer this119, integer x102) returns integer { local integer result671 local integer i813 local integer temp116 result_671 = 1; i_813 = 1; temp_116 = x_102; loop { exitwhen (i_813 > temp_116); result_671 = (result_671 * this_119); i_813 = (i_813 + 1); }; return result_671; } function bitset_add150(integer this_val964, integer v728) returns integer { local integer pow152 local integer cond_result_1429 local integer tuple_temp161 local integer tuple_temp152 pow_152 = int_pow114(2, v_728); if (not bitset_containsPow686(this_val_964, pow_152)) { tuple_temp_161 = (this_val_964 + pow_152); cond_result_1_429 = tuple_temp_161; } else { tuple_temp_152 = this_val_964; cond_result_1_429 = tuple_temp_152; }; bitset_add_return_val_154 = cond_result_1_429; return bitset_add_return_val_154; } function bitset_containsPow686(integer this_val587, integer pow169) returns boolean { return ((this_val_587 mod (pow_169 * 2)) >= pow_169); } IS_NATIVE function testSuccess177() { } IS_NATIVE IS_EXTERN @extern function I2S704(integer i245) returns string { } IS_NATIVE function testFail175(string msg134) { }