#include <stdint.h>
#include <threads.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;
}