cat <counter, old, new); } EOF