pub const XK_dead_u: u32 = 0xfe88; // 65_160u32