unit VGA = {

imports[ critical : Critical_T vm : VM_T string : String_T ]; exports[ out : PutChar_T ]; ...

}