pub const braille_dots_12457: u32 = 0x100285b; // 16_787_547u32