Constant GDK_KEY_Terminate_Server 

pub const GDK_KEY_Terminate_Server: c_int = 65237;