let mem_project f s = f s.SlicingInternals.application