Constant CONFIG_TIMER_QUEUE_LENGTH 

pub const CONFIG_TIMER_QUEUE_LENGTH: u32 = 10;