(loop(format t"~D is ~@[not ~]a leap year. "(set'y(read))(or(>(mod y 4)0)(<(mod y 100)1(mod y 400)))))