unit raw_VGA = {

imports[ critical : Critical_T vm : VM_T string : String_T ]; exports[ out : { putchar } ]; ...

}