unit oskit_sleep_pthreads = {

imports[ intr : OSEnvIntr_T pthread : PThread_T panic : Panic_T ]; exports[ out : Sleep_T ]; ...

}