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