DB_CTLOPS
DB_DEBUG1(DB_CTLOPS, dip, "ctlop=%s\n", db_ctlop_name[ctlop]);
DB_DEBUG1(DB_CTLOPS, dip, "ctlop=%d\n", ctlop);
case DB_CTLOPS: s = "ctlops"; break;