pub const braille_dots_1235: u32 = 0x1002817; // 16_787_479u32