typedef int PK_THREAD_id_t; This datatype represents a thread identifier.
PK_THREAD_ask_id PK_THREAD_set_id
The identifier of a thread can be set using PK_THREAD_set_id and can be obtained using PK_THREAD_ask_id.
