let mk_bitvector n = Bitvector(n)