Constant IDENT_USER_MAX 

pub const IDENT_USER_MAX: u32 = 19999;