The text e5ade89688e2, as FreeBSD 7.4-RELEASE shipped it.
kernel counting semaphore
sema_value(9) on FreeBSD now
