add BitVector::extract