Quick links: content, navigation, search.
Handle case of thread cancellation in pthread_cond_timedwait (exp_fct)