pub const XK_Redo: c_uint = 0xFF66;