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

void * __pthread_getspecific_impl(pthread_key_t k)
{
	return (__pthread_self())->tsd[k];
}