+void verify_ssh_host_key(char *host, int port, char *keytype,
+ char *keystr, char *fingerprint);
+int askappend(char *filename);
+void registry_cleanup(void);
+void force_normal(HWND hwnd);
+
+GLOBAL int nsessions;
+GLOBAL char **sessions;
+
+/*
+ * Exports from settings.c.
+ */
+void save_settings (char *section, int do_host, Config *cfg);
+void load_settings (char *section, int do_host, Config *cfg);
+void get_sesslist(int allocate);