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