Constant EX_TIMER_HIGH_RESOLUTION 

pub const EX_TIMER_HIGH_RESOLUTION: u32 = 4u32;