MDB_DBG_SHELL
{ "shell", "debug shell escapes", MDB_DBG_SHELL },
mdb_dprintf(MDB_DBG_SHELL, "waiting for PID %d\n", (int)pid);
mdb_dprintf(MDB_DBG_SHELL, "waitpid %d -> 0x%x\n", (int)pid, status);
mdb_dprintf(MDB_DBG_SHELL, "waiting for PID %d\n", (int)pid);
mdb_dprintf(MDB_DBG_SHELL, "waitpid %d -> 0x%x\n", (int)pid, status);