void add_include_dir(char*dir);
-char*find_file(const char*filename);
+char*find_file(const char*filename, char report_errors);
void enter_file(const char*name, const char*filename, void*state);
FILE* enter_file2(const char*name, const char*filename, void*state);
void* leave_file();