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