unit oskit_sleep_unthreaded = {

imports[ osenv_sleep : OSEnvSleep_T listener : CreateListener_T clock : OSEnvClock_T panic : Panic_T ]; exports[ out : Sleep_T ]; ...

}