Add bitvector.*