Why timers drift, and how to correct them

Timers can run late. This example corrects the next deadline; it cannot undo a blocked event loop.