let pp_loc fmt = function
| Mloc l -> M.pp_loc fmt l
| Path p -> pp_path fmt p
| PRef p -> pp_ref "Ptr REF" fmt p None
| PRpar (p,n) -> pp_ref "Ptr REF PARAM" fmt p (Some n)
| ARef p -> pp_ref "Array REF" fmt p None
| ARpar (p,n) -> pp_ref "Array REF PARAM" fmt p (Some n)