cnd_timedwait
int cnd_timedwait(cnd_t * __restrict, mtx_t * __restrict,
RT(cnd_timedwait(&cnd, &mtx, &t));
ATF_TC(cnd_timedwait);
ATF_TC_HEAD(cnd_timedwait, tc)
ATF_TC_BODY(cnd_timedwait, tc)
ATF_REQUIRE_EQ(cnd_timedwait(&c, &m, &ts), thrd_timedout);
ATF_TP_ADD_TC(tp, cnd_timedwait);