let pointer_of_loc = M.pointer_of_loc