vcap_encode_bit
vcap_encode_bit(stream, itr, (value[idx / 8] >> bidx) & 0x1);
vcap_encode_bit(stream, &iter, 1);