sem_timedwait
int sem_timedwait(sem_t * __restrict, const struct timespec * __restrict);
r = sem_timedwait(semp, &ts);
CHECKn(sem_timedwait(&sem, &ts));