both modify a.txt b.txt