unit base_console_w_direct = {

imports[ string : String_T critical : Critical_T trap : Trap_T stdin : Stdin_T stdout : Stdout_T getenv : GetEnv_T main : Main_T panic : Panic_T sprintf : Sprintf_T vm : VM_T iids : { oskit_iunknown_iid oskit_stream_iid } cmdline : CmdLine_T breakpoint : Breakpoint_T set_irq : SetIRQHandler_T ]; exports[ console : BaseConsole_T direct : DirectConsole_T ]; ...

}