extern void xterm_title_initialize(void);
extern void xterm_title_reconfig(void);
extern void xterm_title_set(int, const char *);
extern void xterm_title_restore(void);