MDB_DBG_PROC
*libproc_debugp = (bits & MDB_DBG_PROC) != 0;
{ "proc", "debug libproc internals", MDB_DBG_PROC },
mdb_dprintf(MDB_DBG_PROC, "Resume requested, pc is %p\n",
mdb_dprintf(MDB_DBG_PROC, "Back from resume, pc: %p, "
mdb_dprintf(MDB_DBG_PROC, "returning from resume\n");