pub const XK_F31: u32 = 65500;