The text 4b6a3d09cc4d, as Debian 11 (Bullseye) shipped it.
Empty and destroy an EventSet.
PAPI_destroy_eventset(3) on Linux now
