The text 073a5d459241, as Debian 12 (Bookworm) shipped it.
empty and destroy an EventSet
PAPIF_destroy_eventset(3) on Linux now
