read_in_exceptions
extern int read_in_exceptions(const char *, int);
(void) read_in_exceptions(exception_files[i], verbose);