with open('file.txt'):