pub const XKB_KEY_KP_F4: u32 = 0xff94;