Timers. A tool for timing things.