pub const braille_dots_123458: u32 = 0x100289f; // 16_787_615u32