Definitions for "alternative to our sorter"
a sorting network