C_Binding

   #include <tis.h>

   void *
   tis_getspecific (
               pthread_key_t   key);