unit pthread = {

imports[ intr : OSEnvIntr_T timer : OSEnvTimer_T clock : OSEnvClock_T mem : OSEnvMem_T osenv_irq : OSEnvIRQ_T stdout : Stdout_T malloc : Malloc_T string : String_T exit : Exit_T _exit : _Exit_T errno : Errno_T irq : IRQ_T trap : Trap_T critical : Critical_T stack : { base_stack_start } listener : CreateListener_T delay : { pthread_delay } quad : Quad_T stack_trace : StackTrace_T signal_dump : SignalDump_T usermode : { oskit_usermode_simulation } iids : { oskit_condvar_iid oskit_iunknown_iid oskit_lock_iid oskit_lock_mgr_iid } ]; exports[ pthread : PThread_T locks : PThreadLocks_T fs_lock : FSLock_T ipc : IPC_T panic : Panic_T osenv_sleep : OSEnvSleep_T sleep : Sleep_T softint : SoftInt_T signals : { extends PosixSignals_T sigqueue oskit_deliver_async_signal oskit_deliver_pending_signals oskit_deliver_process_signal } mem_lock : MemLock_T isthreaded : { __isthreaded __cleanup } ]; ...

}