Constant libc_interface::KERN_SAVED_IDS

pub const KERN_SAVED_IDS: c_int = 20;