if (atomic_dec_and_test(&file->f_count)) { 
if (rcuref_dec_and_test(&file->f_count)) { 
void put_filp(struct file *file){	if (atomic_dec_and_test(&file->f_count)) {		security_file_free(file);		file_kill(file);		file_free(file);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ab2af1f5005069321c5d130f09cce577b03f43ef/file_table.c/buggy/fs/file_table.c