let pp_path fmt p =
      Format.fprintf fmt "PATH:%a of %d" 
        pp_root p.p_root (List.length p.p_off)