If the compiler is the bar, the machine code would be the supreme court. You launch an appeal by looking the assembly produced by the compiler, finding errors,

If the compiler is the bar, the machine code would be the supreme court. You launch an appeal by looking the assembly produced by the compiler, finding errors, and run it by the SCOTCPU, and see if it agrees with you, or the compiler.