pub const braille_dots_12458: u32 = 0x100289b; // 16_787_611u32