<> <> <> <<>> microd -i -n kernelSaveDefs kernel1 kernel2 kernel3 kernel4 kernel5 kernelPostamble kernel