let sym_mk_bv_conc  = Bitvector.conc