let
varname s =
"sl_project_"
^ s.
SlicingInternals
.name