Spec’d out signature for memory-mapped lazy BitVector