Constant Terminate_Server 

pub const Terminate_Server: Key;