--- stack/Makefile	2003/08/05 09:09:51	1.16
+++ stack/Makefile	2003/08/07 07:11:36	1.17
@@ -46,9 +46,9 @@
 
 check:	stack
 	@echo Checking...
-	@$(SHELL) -c 'a="`$(srcdir)/fib.st`"; set -x; [ "$$a" = 6765 ]'
-	@$(SHELL) -c 'a="`$(srcdir)/fib2.st`"; set -x; [ "$$a" = 6765 ]'
-	@$(SHELL) -c 'a="`$(srcdir)/fac.st`"; set -x; [ "$$a" = 3628800 ]'
+	@$(SHELL) -c 'a="`$(srcdir)/fib.st`"; set -x; [ "$$a" = 75025 ]'
+	@$(SHELL) -c 'a="`$(srcdir)/fib2.st`"; set -x; [ "$$a" = 1134903170 ]'
+	@$(SHELL) -c 'a="`$(srcdir)/fac.st`"; set -x; [ "$$a" = 2004310016 ]'
 	@$(SHELL) -c 'a="`echo '\''[ 1 2 ] a def; a rcl; a rcl; setcar; print;'\'' | ./stack | dd count=1 2>/dev/null`"; set -x; [ "$$a" = "[ #0# 2 ]" ]'
 	@$(SHELL) -c 'a="`echo '\''[ 1 2 ] a def; a rcl; a rcl; setcdr; print;'\'' | ./stack | dd count=1 2>/dev/null`"; set -x; [ "$$a" = "[ 1 . #0# ]" ]'