pub const XKB_KEY_KP_4: u32 = 0xffb4;