pub const braille_dots_23456: u32 = 0x100283e; // 16_787_518u32