+/* Types of routing. */
+enum
+ {
+ SET_ROUTE_SCREEN = 001, /* Output to screen devices? */
+ SET_ROUTE_LISTING = 002, /* Output to listing devices? */
+ SET_ROUTE_OTHER = 004, /* Output to other devices? */
+ SET_ROUTE_DISABLE = 010 /* Disable output--overrides all other bits. */
+ };
+
+
+/* Set view width to a very long value, and prevent it from
+ ever changing */
+void force_long_view(void);
+
+
+/* Requested "view length" in lines. */
+int get_viewlength(void);
+
+/* Screen width. */
+int get_viewwidth(void);
+
+void init_settings(void) ;
+void done_settings(void) ;
+
+/* Whether pspp can erase and overwrite files */
+int safer_mode(void);
+
+/* Put into safer mode */
+void make_safe(void);