DEFAULT_DUMP_FLAGS
{ "default", FLAG_SKIP_DEFAULT | DEFAULT_DUMP_FLAGS },
dump_options_requested |= DEFAULT_DUMP_FLAGS;