Constant KERN_SAVED_IDS

pub const KERN_SAVED_IDS: c_int = 20;