Constant CONFIG_TIMER_RANDOM_INITIAL_STATE

pub const CONFIG_TIMER_RANDOM_INITIAL_STATE: isize = 123456789;