for i:0 thru 1000 do printf(true,"t");

printf(true,"line1~%line2~%")$

printf(true,"line3~%")$
printf(true,"line4~%")$