pub const braille_dots_138: u32 = 0x1002885; // 16_787_589u32