: echo-loop ( -- ) 1024 read-partial break [ write flush echo-loop ] when* ;