int pthread_key_create(pthread_key_t *key, void (*destructor)(void *)) { pthread_initialize(); if (!thread_key_create((thread_key_t *)key, destructor)) return errno; return OK; }
static void exception_stack_alloc(void) { thread_key_create(&exception_stack_key, NULL); }