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}