pub const braille_dots_123: u32 = 0x1002807; // 16_787_463u32