This is file b.txt.