The text 097b465bdb2b, as Debian 10 (Buster) shipped it.
kernel counting semaphore
sema_destroy(9freebsd) on Linux now
