let pointed_of_path p = 
      debug "[pointed_of_path] %a" pp_path p;
        { p with p_type = object_of_pointed_opt p.p_type }