pub const XK_F23: u32 = 65492;