mildly cleaner profiling code in util::time