The text 9c37369da7a7, as FreeBSD 9.3-RELEASE shipped it.
interactive kernel debugger
ddb(4) on FreeBSD now
