let sym_mk_bv_const s = Bitvector.const(Bitv.from_string s)