pub const braille_dots_13458: u32 = 0x100289d; // 16_787_613u32