The text 56b13bf5dc1e, as FreeBSD 12.2-RELEASE shipped it.
fail points
KFAIL_POINT_RETURN_VOID(9) on FreeBSD now
