depends Bit-Vector
