The text 4c2b6f5780a9, as Debian 9 (Stretch) shipped it.
Read hardware counters with a timestamp.
PAPI_read_ts(3) on Linux now
