unit killswitch = {

imports[ termios : TermIOS_T console : COMConsole_T set_irq : SetIRQHandler_T trap : Trap_T ]; exports[ out : Killswitch_T ]; ...

}