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 monitor program (or monitoring program), defined as 'a program that observes and regulates and controls or verifies the operations of a data-processing system' .