The text ff94768667e6, as Debian 10 (Buster) shipped it.
Empty and destroy an EventSet.
PAPI_destroy_eventset(3) on Linux now
