MDB_DBG_DSTK
mdb_dprintf(MDB_DBG_DSTK, "delivering pending INT\n");
mdb_dprintf(MDB_DBG_DSTK, "frame <%u> caught event %s\n",
mdb_dprintf(MDB_DBG_DSTK, "forwarding error %s from pipeline\n",
mdb_dprintf(MDB_DBG_DSTK, "frame <%u> caught "
{ "dstk", "debug execution stack", MDB_DBG_DSTK },
mdb_dprintf(MDB_DBG_DSTK, "push frame <%u> mark=%p in=%s out=%s\n",
mdb_dprintf(MDB_DBG_DSTK, "pop frame <%u> status=%s\n",
mdb_dprintf(MDB_DBG_DSTK, "switch to frame <%u>\n", mdb.m_frame->f_id);
mdb_dprintf(MDB_DBG_DSTK, "delete vcb %p (%s)\n", (void *)vcb,
mdb_dprintf(MDB_DBG_DSTK, "insert vcb %p (%s)\n",