(format "~S ~S" (read) (read)) がどうなるかは処理系依存なの?