pub const braille_dots_1256: u32 = 0x1002833; // 16_787_507u32