thrd_timedout
return thrd_timedout;
return thrd_timedout;
case thrd_timedout: return "thrd_timedout";
ATF_REQUIRE_EQ(cnd_timedwait(&c, &m, &ts), thrd_timedout);
ATF_REQUIRE_EQ(mtx_timedlock(&m, &ts), thrd_timedout);