IMPLEMENTATION MODULE IntSort = Sort(INTEGER, Cmp.IntCompare);
END IntSort.