let term_mk_bvconc (n,m) = Bitvector.mk_conc n m