pub const braille_dots_12345678: u32 = 0x10028ff; // 16_787_711u32