pub const XK_identical: u32 = 0x8cf; // 2_255u32