$known_files{$file}{$size} = 1;