pub const braille_dots_4567: u32 = 0x1002878; // 16_787_576u32