pub const braille_dots_128: u32 = 0x1002883; // 16_787_587u32