==============================================================
Starting image `/lusr/lib/franz/acl60/alisp'
  with image (dxl) file `/lusr/lib/franz/acl60/alisp.dxl'
  with no arguments
  in directory `/u/mbilenko/ta/ml/'
  on machine `enceladus.cs.utexas.edu'.

International Allegro CL Enterprise Edition
6.0 [Linux (x86)] (Jul 10, 2001 15:53)
Copyright (C) 1985-2000, Franz Inc., Berkeley, CA, USA.  All Rights Reserved.

This copy of Allegro CL is licensed to:
   Patti Spencer, University of Texas

;; Optimization settings: safety 1, space 1, speed 1, debug 2.
;; For a complete description of all compiler switches given the current optimization settings evaluate
;; (EXPLAIN-COMPILER-SETTINGS).
CL-USER(1): (defun factorial (x)     ; A buggy program
           (if (zerop x)
               (append x nil)
              (* x (factorial (- x 1)))))
FACTORIAL
CL-USER(2): (factorial 10)
Error: `0' is not of the expected type `LIST'
  [condition type: TYPE-ERROR]

Restart actions (select using :continue):
 0: Return to Top Level (an "abort" restart)
 1: Abort #<PROCESS Initial Lisp Listener>
[1] CL-USER(3): :zo
Evaluation stack:

   (ERROR TYPE-ERROR :DATUM ...)
 ->(APPEND 0 NIL)
   (FACTORIAL 0)
   (FACTORIAL 1)
   (FACTORIAL 2)
   (FACTORIAL 3)
   (FACTORIAL 4)
   (FACTORIAL 5)
   (FACTORIAL 6)

... more older frames ...
[1] CL-USER(4): (defun factorial (x)   ; Another buggy version
           (if (zerop x)
               0
              (* x (factorial (+ x 1)))))
(defun factorial (x)   ; Another buggy version
           (if (zerop x)
               0
              (* x (factorial (+ x 1)))))
FACTORIAL
[1] CL-USER(5): (factorial 10)
Error: Stack overflow (signal 1000)
  [condition type: SYNCHRONOUS-OPERATING-SYSTEM-SIGNAL]

Restart actions (select using :continue):
 0: continue computation at break level 1
 1: Return to Debug Level 1 (an "abort" restart)
 2: Return to Top Level (an "abort" restart)
 3: Abort #<PROCESS Initial Lisp Listener>
[2c] CL-USER(6): :zo
Evaluation stack:

   (CERROR "continue computation at break level 1" SYNCHRONOUS-OPERATING-SYSTEM-SIGNAL ...)
 ->(FACTORIAL 5084)
   (FACTORIAL 5083)
   (FACTORIAL 5082)
   (FACTORIAL 5081)
   (FACTORIAL 5080)
   (FACTORIAL 5079)
   (FACTORIAL 5078)
   (FACTORIAL 5077)

... more older frames ...
[2c] CL-USER(7): :res
CL-USER(8): (defun factorial (x)  ; A correct version
            (if (zerop x)
                1
               (* x (factorial (- x 1)))))
(defun factorial (x)  ; A correct version
            (if (zerop x)
                1
               (* x (factorial (- x 1)))))
FACTORIAL
CL-USER(9): (time (factorial 1000)) ; Timing test for interpretted code

; cpu time (non-gc) 30 msec user, 0 msec system
; cpu time (gc)     0 msec user, 0 msec system
; cpu time (total)  30 msec user, 0 msec system
; real time  29 msec
; space allocation:
;  21,017 cons cells, 1,594,616 other bytes, 0 static bytes
402387260077093773543702433923003985719374864210714632543799910429938512398629020592044208486969404800479988610197196058631666872994808558901323829669944590997424504087073759918823627727188732519779505950995276120874975462497043601418278094646496291056393887437886487337119181045825783647849977012476632889835955735432513185323958463075557409114262417474349347553428646576611667797396668820291207379143853719588249808126867838374559731746136085379534524221586593201928090878297308431392844403281231558611036976801357304216168747609675871348312025478589320767169132448426236131412508780208000261683151027341827977704784635868170164365024153691398281264810213092761244896359928705114964975419909342221566832572080821333186116811553615836546984046708975602900950537616475847728421889679646244945160765353408198901385442487984959953319101723355556602139450399736280750137837615307127761926849034352625200015888535147331611702103968175921510907788019393178114194545257223865541461062892187960223838971476088506276862967146674697562911234082439208160153780889893964518263243671616762179168909779911903754031274622289988005195444414282012187361745992642956581746628302955570299024324153181617210465832036786906117260158783520751516284225540265170483304226143974286933061690897968482590125458327168226458066526769958652682272807075781391858178889652208164348344825993266043367660176999612831860788386150279465955131156552036093988180612138558600301435694527224206344631797460594682573103790084024432438465657245014402821885252470935190620929023136493273497565513958720559654228749774011413346962715422845862377387538230483865688976461927383814900140767310446640259899490222221765904339901886018566526485061799702356193897017860040811889729918311021171229845901641921068884387121855646124960798722908519296819372388642614839657382291123125024186649353143970137428531926649875337218940694281434118520158014123344828015051399694290153483077644569099073152433278288269864602789864321139083506217095002597389863554277196742822248757586765752344220207573630569498825087968928162753848863396909959826280956121450994871701244516461260379029309120889086942028510640182154399457156805941872748998094254742173582401063677404595741785160829230135358081840096996372524230560855903700624271243416909004153690105933983835777939410970027753472000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
CL-USER(10): (compile 'factorial)  ; Compile just this function

FACTORIAL
NIL
NIL
CL-USER(11): (time (factorial 1000))  ; Timing test for compiled version

; cpu time (non-gc) 10 msec user, 0 msec system
; cpu time (gc)     0 msec user, 0 msec system
; cpu time (total)  10 msec user, 0 msec system
; real time  8 msec
; space allocation:
;  1 cons cell, 505,528 other bytes, 0 static bytes
402387260077093773543702433923003985719374864210714632543799910429938512398629020592044208486969404800479988610197196058631666872994808558901323829669944590997424504087073759918823627727188732519779505950995276120874975462497043601418278094646496291056393887437886487337119181045825783647849977012476632889835955735432513185323958463075557409114262417474349347553428646576611667797396668820291207379143853719588249808126867838374559731746136085379534524221586593201928090878297308431392844403281231558611036976801357304216168747609675871348312025478589320767169132448426236131412508780208000261683151027341827977704784635868170164365024153691398281264810213092761244896359928705114964975419909342221566832572080821333186116811553615836546984046708975602900950537616475847728421889679646244945160765353408198901385442487984959953319101723355556602139450399736280750137837615307127761926849034352625200015888535147331611702103968175921510907788019393178114194545257223865541461062892187960223838971476088506276862967146674697562911234082439208160153780889893964518263243671616762179168909779911903754031274622289988005195444414282012187361745992642956581746628302955570299024324153181617210465832036786906117260158783520751516284225540265170483304226143974286933061690897968482590125458327168226458066526769958652682272807075781391858178889652208164348344825993266043367660176999612831860788386150279465955131156552036093988180612138558600301435694527224206344631797460594682573103790084024432438465657245014402821885252470935190620929023136493273497565513958720559654228749774011413346962715422845862377387538230483865688976461927383814900140767310446640259899490222221765904339901886018566526485061799702356193897017860040811889729918311021171229845901641921068884387121855646124960798722908519296819372388642614839657382291123125024186649353143970137428531926649875337218940694281434118520158014123344828015051399694290153483077644569099073152433278288269864602789864321139083506217095002597389863554277196742822248757586765752344220207573630569498825087968928162753848863396909959826280956121450994871701244516461260379029309120889086942028510640182154399457156805941872748998094254742173582401063677404595741785160829230135358081840096996372524230560855903700624271243416909004153690105933983835777939410970027753472000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
CL-USER(12): :exit
; killing "Editor Server"
; killing "Run Bar Process"
; killing "Connect to Emacs daemon"
; killing "Initial Lisp Listener"
; Exiting Lisp