Contents: a.txt