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();
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();