pub const braille_dots_1234678: u32 = 0x10028ef; // 16_787_695u32