this will generate 2 lines of `{}` whenever the header is reprinted.  That should be fine, but maybe `# TODO skip header lines in parsing`  (The reason for printing `{}` rather than no output is a keepalive, but could just be silent there.)