pub const XK_dstroke: u32 = 0x1f0; // 496u32