The text 8c2a19c0efc0, as FreeBSD 10.0-RELEASE shipped it.
interactive kernel debugger
ddb(4) on FreeBSD now
