The text 310e0558ca12, as FreeBSD 7.0-RELEASE shipped it.
kernel counting semaphore
sema_value(9) on FreeBSD now