Only define this if timers are enabled.