Hello, (defun f (x) (+ 1 (f x))) (f 0) The above on Linux gracefully gives a stack error, but on Windows, CCL dies. Is this a known bug/limitation? Will this be fixed in future CCL releases? regards, /harsh http://acl2s.ccs.neu.edu/acl2s/doc/