unit base_trap = {

imports[ anno : Anno_T idt : { base_idt } gate : { gate_init } panic : Panic_T stdout : Stdout_T ]; exports[ trap : Trap_T ]; ...

}