dump_journal
remove_debugger_command("bfs_journal", dump_journal);
add_debugger_command("bfs_journal", dump_journal,
int dump_journal(int argc, char** argv);