The text 6140a5c4034d, as Debian 9 (Stretch) shipped it.
Empty and destroy an EventSet.
PAPI_destroy_eventset(3) on Linux now
