1 #include <threads.h> 2 #include <pthread.h> 3 #include <stdint.h> 4 thrd_exit(int result)5 _Noreturn void thrd_exit(int result) 6 { 7 __pthread_exit((void*)(intptr_t)result); 8 } 9