pub const braille_dots_1238: u32 = 0x1002887; // 16_787_591u32