This is bar.txt.