db_print_cmd
{ DDB_ADD_CMD("p", db_print_cmd, 0,
{ DDB_ADD_CMD("print", db_print_cmd, 0,
void db_print_cmd(db_expr_t, bool, db_expr_t, const char *);