pub const XKB_KEY_Pointer_DblClick3: u32 = 0xfef1;