#include "pthread_impl.h"
#include <threads.h>

int __pthread_key_delete(pthread_key_t k);

void (tss_delete)(tss_t key) {
	(void)__pthread_key_delete(key);
}