unit lock_mgr = {

imports[ string : String_T mem : OSEnvMem_T iids : { oskit_condvar_iid oskit_iunknown_iid oskit_lock_iid oskit_lock_mgr_iid } pthread : PThread_T panic : Panic_T ]; exports[ out : LockMgr_T ]; ...

}