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