unit KBD = {

imports[ critical : Critical_T ]; exports[ out : DirectGetChar_T ]; ...

}