db_cmd_dump
void db_cmd_dump(int, char **);
{ "dump", db_cmd_dump },
static void db_cmd_dump(int, char **);
{ "dump", db_cmd_dump },
void db_cmd_dump(int, char **);
{ "dump", db_cmd_dump },
void db_cmd_dump(int, char **);
{ "dump", db_cmd_dump },