Simplified time_that manual example to make it faster.