unit multiboot = {

imports[ main : Main_T exit : Exit_T atexit : AtExit_T panic : Panic_T string : String_T lmm : LMM_T vm : VM_T ld_symbols : LDSymbols_T cpu : CPU_T gdt : { base_gdt_init } segments : Segments_T ]; exports[ multiboot : { multiboot_main_wrapped boot_info } phys_lmm : PhysLMM_T cmdline : CmdLine_T invoke : { invoke_main } reset : Reset_T ]; ...

}