unit x86 = {

imports[ segments : Segments_T anno : Anno_T panic : Panic_T stdout : Stdout_T string : String_T softint : SoftInt_T ]; exports[ cpu : CPU_T gate : Gate_T pic : PIC_T idt : IDT_T trap : Trap_T tss : TSS_T gdt : GDT_T irq : IRQ_T ]; ...

}