Constant KERN_SAVED_IDS 

pub const KERN_SAVED_IDS: c_int = 20;