pub const braille_dots_1258: u32 = 0x1002893; // 16_787_603u32