pub const braille_dots_1234567: u32 = 0x100287f; // 16_787_583u32