TESTX(r, pthread_mutex_lock(&mtx), EOWNERDEAD, "");
TEST(r, pthread_join(td, &res), "");
TEST(r, pthread_mutex_consistent(&mtx), "");
TEST(r, pthread_mutex_unlock(&mtx), "");
TEST(r, pthread_mutex_destroy(&mtx), "");
TESTX(r, pthread_mutex_lock(&mtx), EOWNERDEAD, "");
TEST(r, pthread_join(td, &res), "");
TEST(r, pthread_mutex_consistent(&mtx), "");
TEST(r, pthread_mutex_unlock(&mtx), "");
TEST(r, pthread_mutex_destroy(&mtx), "");