Constant KERN_RPC_SERVER_TERMINATED 

pub const KERN_RPC_SERVER_TERMINATED: c_int = 43;