let
loc_of_pointer ty p =
Mloc
(
M
.loc_of_pointer ty p)