The text 4a7bbc2caa1b, as Debian 12 (Bookworm) shipped it.
Empty and destroy an EventSet.
PAPI_destroy_eventset(3) on Linux now
