db_traptrace
{ DDB_ADD_CMD("traptrace", db_traptrace, 0,
void db_traptrace(db_expr_t, bool, db_expr_t, const char *);