cnd_timedwait
extern int cnd_timedwait(cnd_t *_RESTRICT_KYWD, mtx_t *_RESTRICT_KYWD,
VERIFY3S(cnd_timedwait(&cnd, &mtx, &ts), ==, thrd_timedout);