let cast_int_to_loc ty i ty2 = Mloc (M.cast_int_to_loc ty i ty2)