imperative bitvector module