pub const braille_dots_1237: u32 = 0x1002847; // 16_787_527u32