extern int file_exists(char *);
extern FILE * zzopen(char *, char *);
extern void write_pixmap_file(Display *, int, char *, Window, int, int, int, int);
extern int read_pixmap_file(Display *, int, char *, XImage * *, int *, int *);
