--- 5333.txt    2008-01-16 07:51:10.085978672 +0900
+++ 5333.txt.fix        2008-01-16 07:51:54.569311280 +0900
@@ -2 +2 @@
-  (do ((i y (1- i))
+  (do ((i (abs y) (1- i))