pub const braille_dots_123678: u32 = 0x10028e7; // 16_787_687u32