Constant XKB_KEY_braille_dots_1257

pub const XKB_KEY_braille_dots_1257: u32 = 0x1002853;