56
56
; We may need a bigger stack than the default, as evidenced by the failure of
57
57
; the event (verify-guards read-utf8-fast ...) in books/unicode/read-utf8.lisp.
58
58
; We handle this issue here for GCL, and elsewhere for some other lisps.
62
64
(defvar *acl2-gcl-multiply-stacks-evaluated* nil)
63
65
(when (not *acl2-gcl-multiply-stacks-evaluated*)