pub const USER_TIMER_MAXIMUM: u32 = 2147483647u32;