pub const XKB_KEY_braille_dots_123456: u32 = 16787519;