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