pub const KERN_INVALID_RIGHT: i32 = 17;