+template<CountingVariant countingVariant>
+void ExecutionCounter<countingVariant>::dump(PrintStream& out) const
+{
+ out.printf("%lf/%lf, %d", count(), static_cast<double>(m_activeThreshold), m_counter);
+}
+
+template class ExecutionCounter<CountingForBaseline>;
+template class ExecutionCounter<CountingForUpperTiers>;
+