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