References to, includes from, and redirects to microbenchmarking extension: using hardware counters