pub const KERN_RPC_SERVER_TERMINATED: c_int = 43;