Counting sort should be stable