Constant TICK_INTERVAL_US 

pub const TICK_INTERVAL_US: u64 = 10_000;