#bit-vector