The text f3e3e4d48434, as FreeBSD 12.4-RELEASE shipped it.
external kernel debugger
gdb(4) on FreeBSD now
