(do((i 1))((format t"~VR
"(incf i)257)))