add setCompressedBitVec