unit null_threads = {

imports[ intr : OSEnvIntr_T exit : Exit_T stack_trace : StackTrace_T trap : Trap_T stdout : Stdout_T string : String_T errno : Errno_T listener : CreateListener_T clock : OSEnvClock_T critical : Critical_T ]; exports[ panic : Panic_T osenv_sleep : OSEnvSleep_T sleep : Sleep_T softint : SoftInt_T signals : { extends PosixSignals_T sigblock sigsetmask } mem_lock : MemLock_T isthreaded : { __isthreaded __cleanup } ]; ...

}