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