#include <threads.h>

#include <stdint.h>

#include "threads_impl.h"

int thrd_join(thrd_t t, int* res) {
    void* pthread_res;
    __pthread_join(t, &pthread_res);
    if (res)
        *res = (int)(intptr_t)pthread_res;
    return thrd_success;
}