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