Encoders for CakeML's ASM abstract assembly language into each of the concrete targets of the CakeML compiler.