pthread_key_t
typedef int pthread_key_t;
typedef uint_t pthread_key_t; /* = thread_key_t in thread.h */