pub const braille_dots_257: u32 = 0x1002852; // 16_787_538u32