C_Binding

   #include <pthread.h>

   unsigned long
   pthread_getsequence_np (
            pthread_t   thread);