config::declare_flag<std::string>("tracing/comment", "Add a comment line to the top of the trace file.", "");
config::declare_flag<std::string>(OPT_TRACING_COMMENT_FILE,
"Add the contents of a file as comments to the top of the trace.", "");
config::declare_flag<std::string>("tracing/comment", "Add a comment line to the top of the trace file.", "");
config::declare_flag<std::string>(OPT_TRACING_COMMENT_FILE,
"Add the contents of a file as comments to the top of the trace.", "");