Constant KERN_SAVED_IDS

Source
pub const KERN_SAVED_IDS: i32 = 20;