db_show_panic_cmd
void db_show_panic_cmd(db_expr_t, int, db_expr_t, char *);
{ "panic", db_show_panic_cmd, 0, NULL },