New bitvector version