#include <papiuser.h>

extern int papi_debug(papiDebug_t *debugValue);