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)