pub(crate) const EXEC_TIME_COUNTER_MS: u32 = 25;
Nominal execution time of Counter, in milliseconds.
Counter