MODULE CharIntPairArraySort = ArraySort(CharIntPair) END CharIntPairArraySort.