1#ifndef PROCESS_H
 2#define PROCESS_H
 3
 4#include <setjmp.h>
 5
 6extern jmp_buf SetJmpBuf;
 7extern int DoneSetJmp;
 8
 9extern int stdf;
10extern int filecount;
11extern char **filenames;
12extern char *currentfile;
13extern long maxpos;
14
15void visitfile(char *fn);
16void processfiles(int n, char **argv);
17int nextfile(int n);
18
19#endif