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