Convert `writeFooter` to Cadence.