Constant KERN_PIDMAX 

pub const KERN_PIDMAX: i32 = 55;