(format t "x = ~6d~%y = ~.8E~%" x y)