pub const XKB_KEY_F23: u32 = 0xffd4;