pub const braille_dots_23457: u32 = 0x100285e; // 16_787_550u32