(*generated by m3build*) MODULE AtomListSort = ListSort (Atom) END AtomListSort.