The text 7a3f4e3b7dee, as Debian 8 (Jessie) shipped it.
kernel counting semaphore
sema_destroy(9freebsd) on Linux now
