#include <tis.h>

    void *
    tis_getspecific (
                pthread_key_t   key);