#include <pthread.h>

    int
    pthread_key_delete (
             pthread_key_t   key);