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