The text 1cc72c764b5f, as Debian 12 (Bookworm) shipped it.
destroy an unnamed semaphore
sem_destroy(3) on Linux now
