int num_hwcntrs;
/* The installation does not support PAPI */
if ((num_hwcntrs = PAPI_num_counters()) < 0 )
handle_error(1);
/* The installation supports PAPI, but has no counters */
if ((num_hwcntrs = PAPI_num_counters()) == 0 )
fprintf(stderr,"Info:: This machine does not provide hardware counters.0);