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