for(OptionMap::const_iterator i=options.begin(); i!=options.end(); ++i)
IO::print(out, "option \"%s\" \"%s\";\n", i->second.name, i->second.value);
for(OptionMap::const_iterator i=options.begin(); i!=options.end(); ++i)
IO::print(out, "option \"%s\" \"%s\";\n", i->second.name, i->second.value);