thrd_join
int thrd_join(thrd_t, int *);
ATF_REQUIRE_EQ(thrd_join(t[i], NULL), thrd_success);
RT(thrd_join(*tp, &result));
RT(thrd_join(t, NULL));
ATF_REQUIRE_EQ(thrd_join(t[i], NULL), thrd_success);
ATF_REQUIRE_EQ(thrd_join(t, NULL), thrd_success);
ATF_REQUIRE_EQ(thrd_join(t, &b), thrd_success);
ATF_REQUIRE_EQ(thrd_join(t, &b), thrd_success);
ATF_REQUIRE_EQ(thrd_join(t, NULL), thrd_success);