Copyright Digital Equipment Corp. All rights reserved.
#include <pthread.h> pthread_t pthread_self (void);