//--- a.txt
// GENERATED-BY: echo hello
placeholder
//--- b.txt
unchanged
