let
pointer_of_loc =
M
.pointer_of_loc