The text 62d529bf1d11, as Debian 10 (Buster) shipped it.
Reset the hardware event counts in an event set.
PAPI_reset(3) on Linux now
