The text 87e763760efd, as FreeBSD 12.4-RELEASE shipped it.
fail points
KFAIL_POINT_RETURN_VOID(9) on FreeBSD now