pub const braille_dots_12356: u32 = 0x1002837; // 16_787_511u32