integer bitset_add_return_val691 function initGlobals174() { } function main104() { initGlobals174(); init_Test164(); } function config100() { } function init_Test164() { local integer tuple_temp131 tuple_temp_131 = bitset_add155(5, 1); if (tuple_temp_131 == 7) { testSuccess272(); } else { testFail933(I2S183(tuple_temp_131)); }; } function int_pow129(integer this108, integer x258) returns integer { local integer result107 local integer i150 result_107 = 1; i_150 = 1; loop { exitwhen (i_150 > x_258); result_107 = (result_107 * this_108); i_150 = (i_150 + 1); }; return result_107; } function bitset_add155(integer this_val158, integer v200) returns integer { v_200 = int_pow129(2, v_200); if (not bitset_containsPow173(this_val_158, v_200)) { this_val_158 = (this_val_158 + v_200); } else { }; bitset_add_return_val_691 = this_val_158; return bitset_add_return_val_691; } function bitset_containsPow173(integer this_val712, integer pow164) returns boolean { return ((this_val_712 mod (pow_164 * 2)) >= pow_164); } IS_NATIVE function testSuccess272() { } IS_NATIVE IS_EXTERN @extern function I2S183(integer i616) returns string { } IS_NATIVE function testFail933(string msg124) { }