pub const KERN_SEMAPHORE_DESTROYED: kern_return_t = 42;