The text 2121bb3a61fb, as Debian 9 (Stretch) shipped it.
Empty and destroy an EventSet.
PAPI_cleanup_eventset(3) on Linux now
