pub const braille_dots_12358: u32 = 0x1002897; // 16_787_607u32