pub const KERN_LOCK_SET_DESTROYED: c_int = 38;