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) { 
}