Module S.List_deprecated