unit waitForKey = {

imports[ stdin : GetChar_T stdout : Stdout_T ]; exports[ out : { wait_for_key } ]; ...

}