let
mem_project f s = f s.
SlicingInternals
.application