make_bitvector
