#include <pthread.h>

    unsigned long
    pthread_getsequence_np (
             pthread_t   thread);