unit multiboot_main = {

imports[ string : String_T vm : VM_T cpu : CPU_T ]; exports[ multiboot : { multiboot_main_wrapped boot_info } ]; ...

}