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