This is file a.txt.