It makes sense to switch to the timing support from `Util/TimingUtil.h` here.