unit cmdline = {

imports[ boot_info : { boot_info } lmm : LMM_T phys_lmm : PhysLMM_T panic : Panic_T vm : VM_T string : String_T ]; exports[ out : CmdLine_T ]; ...

}