Checkpoint
Checkpoint
Don't tickle again at the end of the loop.
Rather than use builder, turn the headers computation into a Write.