Constant XK_ISO_Discontinuous_Underline 

pub const XK_ISO_Discontinuous_Underline: c_uint = 0xfe31;