add extract for BitVector