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 }