The text 8417be6c3299, as FreeBSD 8.0-RELEASE shipped it.
kernel counting semaphore
sema_destroy(9) on FreeBSD now
