unit pthreads_base = {

imports[ intr : OSEnvIntr_T timer : OSEnvTimer_T clock : OSEnvClock_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 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 } ]; exports[ pthread : PThread_T locks : PThreadLocks_T fslock : FSLock_T ipc : IPC_T signals : { extends PosixSignals_T sigqueue oskit_deliver_async_signal oskit_deliver_pending_signals oskit_deliver_process_signal } sleep : OSEnvSleep_T panic : Panic_T softint : SoftInt_T ]; ...

}