(loop(#1=write-line(#1#(read-line))))