let
loc_of_pointer =
M
.loc_of_pointer