C_Binding

   #include <pthread.h>

   int
   pthread_equal (
            pthread_t   t1,
            pthread_t   t2);