+#if USE_PAPI
+ /* PAPI reporting, should put somewhere else?
+ * Note that the cycles are counted _after_ the initialization of the RTS -- AR */
+
+ statsPrintf(" -- CPU Mutator counters --\n");
+ papi_report(MutatorCounters);
+
+ statsPrintf("\n -- CPU GC counters --\n");
+ papi_report(GCCounters);
+#endif