pub const braille_dots_234567: u32 = 0x100287e; // 16_787_582u32