/** Waits until a timer expires, then executes it. If no timers have been
set, blocks until one is added from another thread. */
/** Waits until a timer expires, then executes it. If no timers have been
set, blocks until one is added from another thread. */