segmentation fault with Maxima/ECL

This is all with CLisp 2.46 and Maxima 5.16.3.
(I tried all sorts of different names --- didn't make
a difference.)

(%i1) batch("Unless.mac");

batching /home/csoliver/SAT-Algorithmen/OKplatform/Unless.mac
(%i2)
*** - CAR: $FOUND is not a list
The following restarts are available:
MACSYMA-QUIT   :R1      Maxima top-level
Break 1 [1]> :bt
<1/357> #<SYSTEM-FUNCTION EXT:SHOW-STACK> 3
<2/350> #<COMPILED-FUNCTION SYSTEM::PRINT-BACKTRACE>
<3/344> #<COMPILED-FUNCTION SYSTEM::DEBUG-BACKTRACE>
<4/336> #<SYSTEM-FUNCTION SYSTEM::READ-EVAL-PRINT> 2
<5/333> #<COMPILED-FUNCTION SYSTEM::BREAK-LOOP-2-3>
<6/329> #<SYSTEM-FUNCTION SYSTEM::SAME-ENV-AS> 2
<7/315> #<COMPILED-FUNCTION SYSTEM::BREAK-LOOP-2>
<8/313> #<SYSTEM-FUNCTION SYSTEM::DRIVER>
<9/273> #<COMPILED-FUNCTION SYSTEM::BREAK-LOOP>
<10/270> #<SYSTEM-FUNCTION INVOKE-DEBUGGER> 1
<11/260> #<SYSTEM-FUNCTION CAR>
<12/253> #<COMPILED-FUNCTION STRMDOIN>
<13/244> #<COMPILED-FUNCTION MSZ-MDOIN>
<14/227> #<COMPILED-FUNCTION MSIZE>
<15/215> #<COMPILED-FUNCTION MSZ-MDEF>
<16/198> #<COMPILED-FUNCTION MSIZE>
<17/189> #<COMPILED-FUNCTION LINEAR-DISPLA>
<18/184> #<COMPILED-FUNCTION DISPLA>
<19/164> #<COMPILED-FUNCTION CONTINUE>
<20/156> #<COMPILED-FUNCTION $BATCH>
<21/142> #<COMPILED-FUNCTION MEVAL1>
<22/140> #<COMPILED-FUNCTION MEVAL>
<23/129> #<COMPILED-FUNCTION MEVAL*>
<24/124> #<COMPILED-FUNCTION TOPLEVEL-MACSYMA-EVAL>
<25/104> #<COMPILED-FUNCTION CONTINUE>
<26/89> #<COMPILED-FUNCTION MACSYMA-TOP-LEVEL>
[86] EVAL frame for form (MACSYMA-TOP-LEVEL INPUT-STREAM BATCH-FLAG)
<27/85> #<SPECIAL-OPERATOR RETURN-FROM>
<28/74> #<SPECIAL-OPERATOR LET>
[72] EVAL frame for form
(LET
 ((SYSTEM::*ACTIVE-RESTARTS*
   (CONS
    (LOAD-TIME-VALUE
     (SYSTEM::MAKE-RESTART :NAME 'MACSYMA-QUIT :INVOKE-TAG '#:SIMPLE-RESTART-13669 :REPORT
      #'(LAMBDA (STREAM) (FORMAT STREAM "Maxima top-level"))))
    SYSTEM::*ACTIVE-RESTARTS*)))
 (RETURN-FROM #:RESTART-13668 (MACSYMA-TOP-LEVEL INPUT-STREAM BATCH-FLAG)))
<29/67> #<SPECIAL-OPERATOR CATCH>
[65] EVAL frame for form
(CATCH '#:SIMPLE-RESTART-13669
 (LET
  ((SYSTEM::*ACTIVE-RESTARTS*
    (CONS
     (LOAD-TIME-VALUE
      (SYSTEM::MAKE-RESTART :NAME 'MACSYMA-QUIT :INVOKE-TAG '#:SIMPLE-RESTART-13669 :REPORT
       #'(LAMBDA (STREAM) (FORMAT STREAM "Maxima top-level"))))
     SYSTEM::*ACTIVE-RESTARTS*)))
  (RETURN-FROM #:RESTART-13668 (MACSYMA-TOP-LEVEL INPUT-STREAM BATCH-FLAG))))
<30/57> #<SPECIAL-OPERATOR BLOCK>
[55] EVAL frame for form
(BLOCK #:RESTART-13668
 (CATCH '#:SIMPLE-RESTART-13669
  (LET
   ((SYSTEM::*ACTIVE-RESTARTS*
     (CONS
      (LOAD-TIME-VALUE
       (SYSTEM::MAKE-RESTART :NAME 'MACSYMA-QUIT :INVOKE-TAG '#:SIMPLE-RESTART-13669 :REPORT
        #'(LAMBDA (STREAM) (FORMAT STREAM "Maxima top-level"))))
      SYSTEM::*ACTIVE-RESTARTS*)))
   (RETURN-FROM #:RESTART-13668 (MACSYMA-TOP-LEVEL INPUT-STREAM BATCH-FLAG))))
 (VALUES NIL T))
<31/45> #<SPECIAL-OPERATOR TAGBODY>
[44] EVAL frame for form
(TAGBODY #:LOOP-13667
 (BLOCK #:RESTART-13668
  (CATCH '#:SIMPLE-RESTART-13669
   (LET
    ((SYSTEM::*ACTIVE-RESTARTS*
      (CONS
       (LOAD-TIME-VALUE
        (SYSTEM::MAKE-RESTART :NAME 'MACSYMA-QUIT :INVOKE-TAG '#:SIMPLE-RESTART-13669 :REPORT
         #'(LAMBDA (STREAM) (FORMAT STREAM "Maxima top-level"))))
       SYSTEM::*ACTIVE-RESTARTS*)))
    (RETURN-FROM #:RESTART-13668 (MACSYMA-TOP-LEVEL INPUT-STREAM BATCH-FLAG))))
  (VALUES NIL T))
 (GO #:LOOP-13667))
<32/39> #<SPECIAL-OPERATOR CATCH>
[37] EVAL frame for form
(CATCH 'TO-LISP (INITIALIZE-REAL-AND-RUN-TIME) (SET-LOCALE) (SET-PATHNAMES)
 (LET* NIL (MULTIPLE-VALUE-SETQ (INPUT-STREAM BATCH-FLAG) (PROCESS-MAXIMA-ARGS INPUT-STREAM BATCH-FLAG)) (VALUES INPUT-STREAM BATCH-FLAG))
 (TAGBODY #:LOOP-13667
  (BLOCK #:RESTART-13668
   (CATCH '#:SIMPLE-RESTART-13669
    (LET
     ((SYSTEM::*ACTIVE-RESTARTS*
       (CONS
        (LOAD-TIME-VALUE
         (SYSTEM::MAKE-RESTART :NAME 'MACSYMA-QUIT :INVOKE-TAG '#:SIMPLE-RESTART-13669 :REPORT
          #'(LAMBDA (STREAM) (FORMAT STREAM "Maxima top-level"))))
        SYSTEM::*ACTIVE-RESTARTS*)))
     (RETURN-FROM #:RESTART-13668 (MACSYMA-TOP-LEVEL INPUT-STREAM BATCH-FLAG))))
   (VALUES NIL T))
  (GO #:LOOP-13667)))
<33/26> #<SPECIAL-OPERATOR LET>
[24] EVAL frame for form
(LET ((INPUT-STREAM *STANDARD-INPUT*) (BATCH-FLAG NIL))
 (CATCH 'TO-LISP (INITIALIZE-REAL-AND-RUN-TIME) (SET-LOCALE) (SET-PATHNAMES)
  (LET* NIL (MULTIPLE-VALUE-SETQ (INPUT-STREAM BATCH-FLAG) (PROCESS-MAXIMA-ARGS INPUT-STREAM BATCH-FLAG)) (VALUES INPUT-STREAM BATCH-FLAG))
  (TAGBODY #:LOOP-13667
   (BLOCK #:RESTART-13668
    (CATCH '#:SIMPLE-RESTART-13669
     (LET
      ((SYSTEM::*ACTIVE-RESTARTS*
        (CONS
         (LOAD-TIME-VALUE
          (SYSTEM::MAKE-RESTART :NAME 'MACSYMA-QUIT :INVOKE-TAG '#:SIMPLE-RESTART-13669 :REPORT
           #'(LAMBDA (STREAM) (FORMAT STREAM "Maxima top-level"))))
         SYSTEM::*ACTIVE-RESTARTS*)))
      (RETURN-FROM #:RESTART-13668 (MACSYMA-TOP-LEVEL INPUT-STREAM BATCH-FLAG))))
    (VALUES NIL T))
   (GO #:LOOP-13667))))
<34/21> #<SPECIAL-OPERATOR PROGN>
[20] EVAL frame for form
(PROGN (EVAL-WHEN (:COMPILE-TOPLEVEL LOAD EVAL) (SETQ *PACKAGE* (SYSTEM::%FIND-PACKAGE "MAXIMA"))) (SETQ *LOAD-VERBOSE* NIL)
 (SETQ *DEBUGGER-HOOK* #'MAXIMA-LISP-DEBUGGER)
 (LET ((INPUT-STREAM *STANDARD-INPUT*) (BATCH-FLAG NIL))
  (CATCH 'TO-LISP (INITIALIZE-REAL-AND-RUN-TIME) (SET-LOCALE) (SET-PATHNAMES)
   (LET* NIL (MULTIPLE-VALUE-SETQ (INPUT-STREAM BATCH-FLAG) (PROCESS-MAXIMA-ARGS INPUT-STREAM BATCH-FLAG)) (VALUES INPUT-STREAM BATCH-FLAG))
   (TAGBODY #:LOOP-13667
    (BLOCK #:RESTART-13668
     (CATCH '#:SIMPLE-RESTART-13669
      (LET
       ((SYSTEM::*ACTIVE-RESTARTS*
         (CONS
          (LOAD-TIME-VALUE
           (SYSTEM::MAKE-RESTART :NAME 'MACSYMA-QUIT :INVOKE-TAG '#:SIMPLE-RESTART-13669 :REPORT
            #'(LAMBDA (STREAM) (FORMAT STREAM "Maxima top-level"))))
          SYSTEM::*ACTIVE-RESTARTS*)))
       (RETURN-FROM #:RESTART-13668 (MACSYMA-TOP-LEVEL INPUT-STREAM BATCH-FLAG))))
     (VALUES NIL T))
    (GO #:LOOP-13667)))))
[7] APPLY frame for call (RUN)
Printed 34 frames



Oliver