#387314 pthread_cond_timedwait documentation appears to state an invariant that does not hold.