extern void exitHyperDoc(void);
extern void helpForHyperDoc(void);
extern void mainEventLoop(void);
extern void make_window_link(char * name);
extern void quitHyperDoc(void);
extern void get_new_window(void);
