(loop(format t"~:d
"(read)))