integer bitset_add_return_val107




function initGlobals161() { 
}


function main195() { 
    initGlobals161();
    init_Test152();
}


function config130() { 
}


function init_Test152() { 
    local integer tuple_temp258
    tuple_temp_258 = bitset_add432(5, 1);
    if (tuple_temp_258 == 7) {
        testSuccess648();
    } else {
        testFail153(I2S334(tuple_temp_258));
    };
}


function int_pow165(integer this566, integer x123) returns integer { 
    local integer result146
    local integer i109
    result_146 = 1;
    i_109 = 1;
    loop {
        exitwhen (i_109 > x_123);
        result_146 = (result_146 * this_566);
        i_109 = (i_109 + 1);
    };
    return result_146;
}


function bitset_add432(integer this_val933, integer v462) returns integer { 
    v_462 = int_pow165(2, v_462);
    if (not bitset_containsPow166(this_val_933, v_462)) {
        this_val_933 = (this_val_933 + v_462);
    } else {
    };
    bitset_add_return_val_107 = this_val_933;
    return bitset_add_return_val_107;
}


function bitset_containsPow166(integer this_val104, integer pow194) returns boolean { 
    return ((this_val_104 mod (pow_194 * 2)) >= pow_194);
}


IS_NATIVE function testSuccess648() { 
}


IS_NATIVE IS_EXTERN @extern function I2S334(integer i551) returns string { 
}


IS_NATIVE function testFail153(string msg840) { 
}