Example of timed_mutex.