1#include <threads.h>
2#include <pthread.h>
3
4void tss_delete(tss_t key)
5{
6	__pthread_key_delete(key);
7}