pub const braille_dots_25: u32 = 0x1002812; // 16_787_474u32