The text bb675e66a297, as Debian 8 (Jessie) shipped it.
Empty and destroy an EventSet.
PAPI_destroy_eventset(3) on Linux now
