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