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