C_Binding

   #include <pthread.h>

   void
   *pthread_getspecific (
               pthread_key_t   key);