pub const braille_dots_2357: u32 = 0x1002856; // 16_787_542u32