pub const braille_dots_15: u32 = 0x1002811; // 16_787_473u32