pub const braille_dots_12567: u32 = 0x1002873; // 16_787_571u32