The text 20200c6ab6c3, as FreeBSD 11.2-RELEASE shipped it.
destroy an unnamed semaphore
sem_destroy(3) on FreeBSD now
