pub const braille_dots_13567: u32 = 0x1002875; // 16_787_573u32