+Writer::write_float_vector(const std::string& name,
+ const std::vector<float>& value)
+{
+ indent();
+ *out << '(' << name;
+ for(std::vector<float>::const_iterator i = value.begin(); i != value.end(); ++i)
+ *out << " " << *i;
+ *out << ")\n";
+}
+
+void
+Writer::write_escaped_string(const std::string& str)
+{
+ *out << '"';
+ for(const char* c = str.c_str(); *c != 0; ++c) {
+ if(*c == '\"')
+ *out << "\\\"";
+ else if(*c == '\\')
+ *out << "\\\\";
+ else
+ *out << *c;
+ }
+ *out << '"';
+}
+
+void