pub const braille_dots_123478: u32 = 0x10028cf; // 16_787_663u32