+/* -----------------------------------------------------------------------------
+ * (c) The GHC Team 2006
+ *
+ * Initialization and use of the PAPI performance monitoring library
+ *
+ * ---------------------------------------------------------------------------*/