Constant uikit_sys::KERN_DEFAULT_SET

pub const KERN_DEFAULT_SET: u32 = 31;