pub const braille_dots_13456: u32 = 0x100283d; // 16_787_517u32