Type Definition ThreadId
thread_priority::unix
type ThreadId = pthread_t;
An alias type for a thread id.