let sym_mk_bv_sub  = Bitvector.sub