These are not pointers but actual pthread_t's.