1#include <stdint.h>
 2#include <threads.h>
 3#include <pthread.h>
 4
 5int thrd_join(thrd_t t, int *res)
 6{
 7        void *pthread_res;
 8        __pthread_join(t, &pthread_res);
 9        if (res) *res = (int)(intptr_t)pthread_res;
10        return thrd_success;
11}