#include "pthread_impl.h"#include <threads.h> void * __pthread_getspecific_impl(pthread_key_t k){ return (__pthread_self())->tsd[k];}