pub const XKB_KEY_braille_dots_14567: u32 = 0x1002879;