Better declarations for lazy-bit-vector version