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