void become_logged_in(char *, char *, char *);
void do_login(void);
void do_openid_login(void);
-void finish_openid_login(void);
+void finalize_openid_login(void);
void display_login(char *mesg);
void display_openid_login(char *mesg);
void do_welcome(void);