remove_files_atexit(); 
void file_done(){    hashdone( filecache_hash );}
2658	/local/tlutelli/issta_data/temp/c/2005_temp/2005/2658/0f9cc7a19e941bfe7b5ce756aeb059a355d15cc9/filesys.c/buggy/src/engine/filesys.c