pub const Terminate_Server: Key;