MODULE IntSorting = Sorting(Integer) END IntSorting.