unit osenv_device = {

imports[ panic : OSEnvPanic_T iids : { oskit_device_iid } services : Services_T ]; exports[ out : OSEnvDevice_T ]; ...

}