pub const braille_dots_1456: u32 = 0x1002839; // 16_787_513u32