extern int initexit(void);

extern int n_proc;     /* number of articles processed */

void artfileproc(FILE *fp);

char **validate_header(char *buf, int bufsiz);