: reader-loop ( -- ) read1 [ { { CHAR: \ [ read1 write1 ] } { CHAR: d [ 10 random CHAR: 0 write1 ] } } case reader-loop ] when* ; : convert ( str -- str' ) [ [ reader-loop ] with-string-writer ] with-string-reader ;