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