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 supervisory program (or supervisor, executive program), defined as 'a program that controls the execution of other programs' .