#include <pthread.h>

    pthread_t
    pthread_self (void);