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