MODULE TextIntPairArraySort = ArraySort(TextIntPair) END TextIntPairArraySort.