#include #include void tss_delete(tss_t key) { __pthread_key_delete(key); } #ifdef TEST int main(void) { return 0; } #endif