let pointed_of_n_path n p =
        debug "[pointed_of_n_path] %d %a" n pp_path p;
      { p with p_type = object_of_n_pointed_opt n p.p_type }