add BitVector.getBucketAt() and BitVector.getBuckets()