Why would `dump_timers` not be defined?