The text c3e968f768fb, as Debian 10 (Buster) shipped it.
Read hardware counters with a timestamp.
PAPI_read_ts(3) on Linux now
