bitvector: libm3
