unit multiboot_main2 = {

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

}