pub const XK_F31: c_uint = 0xFFDC;