<> <> <> <<>> @kernelSaveDefs.cm@ -- micro -u -o kernelSaveDefs -s kernelSaveDefs -b d1Lang kernelAlu preamble @kernelPostamble.cm@ -- micro -u -o kernelSaveDefs -r kernelPostamble -b postamble