+bool valid_encoding (const char *enc);
+
+/* Return the decimal separator according to the
+ system locale */
+char get_system_decimal (void);
+
+const char * get_default_encoding (void);
+void set_default_encoding (const char *enc);
+
+bool set_encoding_from_locale (const char *loc);