let loc_of_pointer = M.loc_of_pointer