pthread_mutex_timedlock
switch(pthread_mutex_timedlock(mtx, ts)) {
int pthread_mutex_timedlock(pthread_mutex_t * __restrict,
return pthread_mutex_timedlock(m, &ts_wait);