let new_copied_slice ff = try let fi = M.ff_fi ff in new_slice fi (Some ff.T.ff_marks) with SlicingTypes.NoPdg -> assert false