time_that works, added own version of system.time().