TEST(r, pthread_join(td3, 0), 0, "%d != %d");
TEST(r, pthread_mutex_destroy(&mtx), 0, "%d != %d");
TEST(r, pthread_cond_destroy(&cond), 0, "%d != %d");
TEST(r, pthread_join(td3, 0), 0, "%d != %d");
TEST(r, pthread_mutex_destroy(&mtx), 0, "%d != %d");
TEST(r, pthread_cond_destroy(&cond), 0, "%d != %d");