The text a51c3f4b6174, as FreeBSD 8.3-RELEASE shipped it.
kernel expression verification macro
KASSERT(9) on FreeBSD now
