Correct use of benchmark timers