PAPI_num_counters(3) on Linux

The text 478c845250e4, as Debian 9 (Stretch) shipped it.

Get the number of hardware counters available on the system.

PAPI_num_counters(3) on Linux now