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 * );