The text 9483c1b4e63f, as FreeBSD 11.1-RELEASE shipped it.
kernel counting semaphore
sema(9) on FreeBSD now