(inside lib/timers.js)