#include <pthread.h>
static int testval = 4;
void dodgy_function(pthread_key_t* key)
{
pthread_setspecific(*key, &testval);
}
int main(void)
{
pthread_key_t mykey;
pthread_key_create(&mykey, NULL);
dodgy_function(&mykey);
return 0;
}