Constant USER_TIMER_MAXIMUM 

pub const USER_TIMER_MAXIMUM: u32 = 2147483647u32;