let term_mk_bvconst s = Bitvector.mk_const (Bitv.from_string s)