pub const KERN_INVALID_RIGHT: kern_return_t = 17;