#include <pthread.h>

    void
    *pthread_getspecific (
                pthread_key_t   key);