pub const braille_dots_12: u32 = 0x1002803; // 16_787_459u32