let pp_path fmt (_m,vinfo,loff,_) =
      Format.fprintf fmt "PATH:%a of %d" !Ast_printer.d_var vinfo
        (List.length loff)