+ ;; Now that the whole system is built, we don't need to
+ ;; hobble the printer any more, so we can restore printer
+ ;; control variables to their ANSI defaults.
+ (setq *print-length* nil)
+ (setq *print-level* nil)
+ (setq *print-circle* nil)
+
+ ;; FIXME: Why is it that, at least on x86 sbcl-0.6.12.46,
+ ;; GC :FULL T isn't nearly as effective as PURIFY here?
+ ;; (GC :FULL T gets us down to about 38 Mbytes, but PURIFY
+ ;; gets us down to about 19 Mbytes.)
+ (let ((*gc-notify-stream* *standard-output*))
+ (sb-int:/show "done with warm.lisp, about to GC :FULL T")
+ (gc :full t))
+