integer bitset_add_return_val156




function initGlobals941() { 
}


function main834() { 
    initGlobals941();
    init_Test257();
}


function config727() { 
}


function init_Test257() { 
    local integer a_val204
    local integer res_val947
    local integer tuple_temp119
    local integer tuple_temp102
    tuple_temp_119 = 5;
    a_val_204 = tuple_temp_119;
    tuple_temp_102 = bitset_add904(a_val_204, 1);
    res_val_947 = tuple_temp_102;
    if (res_val_947 == 7) {
        testSuccess724();
    } else {
        testFail126(I2S188(res_val_947));
    };
}


function int_pow197(integer this333, integer x853) returns integer { 
    local integer result179
    local integer i153
    local integer temp807
    result_179 = 1;
    i_153 = 1;
    temp_807 = x_853;
    loop {
        exitwhen (i_153 > temp_807);
        result_179 = (result_179 * this_333);
        i_153 = (i_153 + 1);
    };
    return result_179;
}


function bitset_add904(integer this_val175, integer v958) returns integer { 
    local integer pow341
    local integer cond_result_1654
    local integer tuple_temp671
    local integer tuple_temp813
    pow_341 = int_pow197(2, v_958);
    if (not bitset_containsPow204(this_val_175, pow_341)) {
        tuple_temp_671 = (this_val_175 + pow_341);
        cond_result_1_654 = tuple_temp_671;
    } else {
        tuple_temp_813 = this_val_175;
        cond_result_1_654 = tuple_temp_813;
    };
    bitset_add_return_val_156 = cond_result_1_654;
    return bitset_add_return_val_156;
}


function bitset_containsPow204(integer this_val102, integer pow186) returns boolean { 
    return ((this_val_102 mod (pow_186 * 2)) >= pow_186);
}


IS_NATIVE function testSuccess724() { 
}


IS_NATIVE IS_EXTERN @extern function I2S188(integer i706) returns string { 
}


IS_NATIVE function testFail126(string msg138) { 
}