pub const XKB_KEY_braille_dots_13457: u32 = 0x100285d;