+/* Return (a - b) while accounting for the fact that between a and b,
+ * the counter may have wrapped around (with a maximum number of bits
+ * in the counter of GL_QUERY_COUNTER_BITS). */
+static uint64_t
+subtract_timestamp (uint64_t a, uint64_t b)
+{
+ GLint timestamp_bits;
+
+ glGetQueryiv (GL_TIMESTAMP, GL_QUERY_COUNTER_BITS, ×tamp_bits);
+
+ /* Note: "<<" isn't defined for the number of bits in the
+ * type, and the compiler will punish you.
+ */
+ if (timestamp_bits == 64)
+ return a - b;
+
+ if (b > a)
+ return (1ull << timestamp_bits) + a - b;
+ else
+ return a - b;
+}
+