pub type Tick = u64;
Monotonically increasing count over scheduling.
When scheduling occurs, this counter increases by 1.