The text d8f74f90f0e6, as FreeBSD 11.4-RELEASE shipped it.
fail points
KFAIL_POINT_RETURN_VOID(9) on FreeBSD now