Method ~Timer

include/util/time.h:46–50

	}

	~Timer() {
		time_point end = clock::now();
		LOG_IF(INFO, ++occurrence[prompt] == 1) << prompt << ": " << (end - start).count() / 1.0e6 << " ms";
		occurrence[prompt] %= log_frequency;
	}
};

std::unordered_map<std::string, int> Timer::occurrence;