Constant NB_PID_MAX

Source
pub const NB_PID_MAX: u32 = 8192;