+metrics_counter_new (void);
+
+/* Start accumulating GPU time spent into the given counter. */
+void
+metrics_counter_start (unsigned counter);
+
+/* Stop accumulating GPU time (stops the most-recently started counter) */
+void
+metrics_counter_stop (void);