Let's use `TimingUtil.h` here.