3.7.2 Timers

See section 3.1.2.