unit simple_console = {

imports[ vga : PutChar_T kbd : GetChar_T ]; exports[ out : Console_T ]; ...

}