unit osenv_log = {

imports[ stdout : Stdout_T ]; exports[ osenv_log : OSEnvLog_T ]; ...

}