while(a:?read\-line(?-,?-,~))#~do printf(?t,"~a ~a ",a,a);