Compilation of the CakeML examples to different architectures. ag32: Compile the examples via in-logic evaluation to Silver machine code. to_word: Example compilation x64: Compile the examples via in-logic evaluation to x86 machine code.