pub const braille_dots_17: u32 = 0x1002841; // 16_787_521u32