+static guint mask_list[MASK_LIST_SIZE];
+static guint kgrabs = 0;
+static guint pgrabs = 0;
+/*! The time at which the last grab was made */
+static Time grab_time = CurrentTime;
+static gint passive_count = 0;
+static ObtIC *ic = NULL;
+
+static Time ungrab_time(void)
+{
+ Time t = event_time();
+ if (grab_time == CurrentTime ||
+ !(t == CurrentTime || event_time_after(t, grab_time)))
+ /* When the time moves backward on the server, then we can't use
+ the grab time because that will be in the future. So instead we
+ have to use CurrentTime.
+
+ "XUngrabPointer does not release the pointer if the specified time
+ is earlier than the last-pointer-grab time or is later than the
+ current X server time."
+ */
+ t = CurrentTime; /*grab_time;*/
+ return t;
+}