unit osenv_panic = {

imports[ log : OSEnvLog_T panic : Panic_T ]; exports[ out : OSEnvPanic_T ]; ...

}