This is just `(:file1 files)`.