 (format t "~A~%" (*) )