pub const braille_dots_14567: u32 = 0x1002879; // 16_787_577u32