The text f76739c3e6a7, as FreeBSD 12.1-RELEASE shipped it.
interactive kernel debugger
ddb(4) on FreeBSD now
