(*generated by m3build*)

MODULE IntArraySort = ArraySort (Integer) END IntArraySort.