pub const XK_R12: u32 = 0xFFDD; // 65_501u32