//--- a.txt
int x;

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