unit oskit_sleep_pthread = {

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

}