The text 3e52a7ce7548, as FreeBSD 12.1-RELEASE shipped it.
kernel counting semaphore
sema_value(9) on FreeBSD now
