--- /dev/null
+void determine_pwfilename(char *);
+void get_stored_password(
+ char *host,
+ char *port,
+ char *username,
+ char *password);
+void set_stored_password(
+ char *host,
+ char *port,
+ char *username,
+ char *password);
+void offer_to_remember_password(
+ char *host,
+ char *port,
+ char *username,
+ char *password);