+int settings_get_mxwarns (void);
+void settings_set_mxwarns ( int);
+int settings_get_mxerrs (void);
+void settings_set_mxerrs ( int);
+
+bool settings_get_printback (void);
+void settings_set_printback (bool);
+bool settings_get_mprint (void);
+void settings_set_mprint (bool);
+
+int settings_get_mxloops (void);
+void settings_set_mxloops ( int);
+
+bool settings_get_nulline (void);
+void settings_set_nulline (bool);
+
+char settings_get_endcmd (void);
+void settings_set_endcmd (char);
+
+size_t settings_get_workspace (void);
+size_t settings_get_workspace_cases (const struct caseproto *);
+void settings_set_workspace (size_t);
+
+const struct fmt_spec *settings_get_format (void);
+void settings_set_format ( const struct fmt_spec *);
+
+bool settings_get_testing_mode (void);
+void settings_set_testing_mode (bool);