The text fe3cda9f359f, as FreeBSD 7.1-RELEASE shipped it.
kernel counting semaphore
sema(9) on FreeBSD now
