mtx_timedlock
extern int mtx_timedlock(mtx_t *_RESTRICT_KYWD,
VERIFY3S(mtx_timedlock(&mtx, &ts), ==, thrd_timedout);
VERIFY3S(mtx_timedlock(mtx, &ts), ==, thrd_timedout);