#(while(format #t"~:d "(read)))