Disassemble: print the size into the right stream.

Print the newly introduced size information to the provided stream,
not to *standard-output*.
Reported by Jan Moringen.