unit direct_console = {

imports[ critical : Critical_T vm : VM_T string : String_T ]; exports[ console : DirectConsole_T ]; ...

}