remove_files_atexit(); 
void file_done(){    hashdone( filecache_hash );}
2658	/local/tlutelli/issta_data/temp/c/2005_temp/2005/2658/e4def4e2d20b8476fd7a8a335dea6baf7b7e81ed/filesys.c/buggy/historic/jam/src/filesys.c