pub const KERN_RPC_SERVER_TERMINATED: kern_return_t = 43;