premise: the same source code can be compiled to produce different binaries for different operating systems
hypothesis: binaries is best characterized as a kind or type of sort program (or sorting program), defined as 'a utility program that sorts data items' .