unit vga_console = {

imports[ vga : PutChar_T kbd : GetChar_T stdout : Stdout_T ]; exports[ simple : Console_T ]; ...

}