unit gdb_console = {

imports[ critical : Critical_T trap : Trap_T panic : Panic_T com : COMConsole_T stdout : Stdout_T sprintf : Sprintf_T string : String_T termios : TermIOS_T set_irq : SetIRQHandler_T ]; exports[ console : GDBConsole_T ]; ...

}