Constant XK_Terminate_Server 

pub const XK_Terminate_Server: c_uint = 0xfed5;