I forgot to say you also need to set (*s7* 'print-length) to be as big as the byte-vector -- perhaps write-bytevector could use let-temporarily for this, but you really don't want to write out a huge vector to *stdout* inadvertently.