let sym_mk_bv_bitwise  = Bitvector.bitwise