(loop(format t"~D
"(read)))