Constant CONFIG_TIMER_RANDOM_INITIAL_STATE 

pub const CONFIG_TIMER_RANDOM_INITIAL_STATE: isize = 123456789;