unit Console = {

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

}