(FILECREATED "30-MAY-83 19:41:02" {PHYLUM}<LISPCORE>SOURCES>MACROTEST.;12 127304
changes to: (FNS !INTERPTEST)
previous date: "30-MAY-83 19:14:47" {PHYLUM}<LISPCORE>SOURCES>MACROTEST.;11)
(* Copyright (c) 1981, 1982, 1983 by Xerox Corporation)
(PRETTYCOMPRINT MACROTESTCOMS)
(RPAQQ MACROTESTCOMS ((FNS !DIAGNOSE !DIAGNOSELP !INTERPTEST !CHECKARGS !CHECKLSTARARG
!CHECKLSTARSETARG !CONSTEST !COPY !SMASH CHECKFREELISTS !CKEQ)
(COMS (* Utilities for debugging arrays)
(FNS FINDPTRINLIST PPFBL))
(FNS !NUMBERTEST !NUMTEST1 !NUMTEST2 !NUMTEST3 !NUMTEST4 !NUMTEST5 !NUMTEST6
!RANDNUMTEST !RANDNUMTEST1 !RANDNUMTEST2 !RANDNUMTEST3 !RANDNUMTEST4
!MIXNUMTEST)
(FNS !GCTEST !GCTEST0 !GCTEST1 !GCTEST2 !GCTEST3 !GCTESTSETF !GCTESTSETG
!GCTEST3D !GCTEST3C !GCTEST3B !GCTEST3A)
(FNS MINILOGOUT)
(DECLARE: EVAL@COMPILE DONTCOPY (P (RESETSAVE OPTIMIZATIONSOFF T))
(MACROS MTHELP MTCHECKSTK CKEQ MTCHECK MTCHECK1))
(DECLARE: DONTEVAL@LOAD DOCOPY (P (!DIAGNOSE)))
(VARS !MTALLOWINEXACTFLG)))
(DEFINEQ
(!DIAGNOSE
[LAMBDA NIL (* lmm " 2-JAN-82 02:38")
(!NUMBERTEST)
(!MIXNUMTEST)
(!CONSTEST)
(!GCTEST)
(!INTERPTEST)
(CHECKCONSPAGES)
(CHECKFREELISTS)
(RECLAIM)
(CHECKFREELISTS])
(!DIAGNOSELP
[LAMBDA NIL (* bvm: "11-MAR-82 15:32")
(PROG ((I 0))
LP (!DIAGNOSE)
(\STOPDISPLAY)
(RELEASEWORKINGSET)
(\STARTDISPLAY)
(SETQ \CURRENTDISPLAYLINE 0)
(printout T "Pass " (add I 1)
" completed." T)
(GO LP])
(!INTERPTEST
[LAMBDA NIL (* lmm "30-MAY-83 19:40")
(PROG (INTERPDEF ANON)
[PUTD (QUOTE !INTERPTESTER)
(SETQ INTERPDEF (LIST (QUOTE LAMBDA)
NIL
(QUOTE (!CHECKARGS]
[for FORMAL in (QUOTE (NIL (A)
(A B)
(A B C)
(A B C D)
(A B C D E)
(A B C D E F)
N))
do (RPLACA (CDR INTERPDEF)
FORMAL)
(for ACTUAL in (QUOTE (NIL (1)
(1 2)
(1 2 3)
(1 2 3 4)
(1 2 3 4 5)
(1 2 3 4 5 6)))
do (SETQ ANON T)
(APPLY INTERPDEF ACTUAL)
(EVAL (CONS INTERPDEF ACTUAL))
(SETQ ANON)
(APPLY (QUOTE !INTERPTESTER)
ACTUAL)
(EVAL (CONS (QUOTE !INTERPTESTER)
ACTUAL))
(COND
((EQ FORMAL (QUOTE N))
(APPLY [QUOTE (LAMBDA N (PROG ((I 1))
LP (COND
((NOT (IGREATERP I N))
(!CHECKLSTARARG I (ARG N I))
(SETQ I (ADD1 I))
(GO LP)))
(SETQ I 1)
LP2 (COND
((NOT (IGREATERP I N))
(SETARG N I (IPLUS 200 I))
(!CHECKLSTARSETARG I (ARG N I))
(SETQ I (ADD1 I))
(GO LP2]
ACTUAL]
(PROG (A B C D)
(for PAIR in (QUOTE ((3 3)
(T T)
(NIL NIL)
((SETQ FOOVAR 3)
3)
(A NIL)
(B NIL)
(C NIL)
(D NIL)
((SETTOPVAL (QUOTE FOOVAR)
37)
37)
(FOOVAR 37)
((SETQ A 39)
39)
((SETQ B 47)
47)
((SETQ C 66)
66)
(A 39)
(B 47)
(C 66)
((PROG NIL
(RETURN 12))
12)
((PROG NIL
(GO L1)
L1 (RETURN 101)
(RETURN 102)
(RETURN 103))
101)
((PROG ((A 324))
(RETURN A))
324)
((PROG ((A 1023)
(B 412))
(OR (AND (EQ A 1023)
(EQ B 412))
(MTHELP)))
NIL)))
do (OR (EQ (EVAL (CAR PAIR))
(CADR PAIR))
(MTHELP PAIR "TEST FAILED")))
(OR (AND (EQ A 39)
(EQ B 47)
(EQ C 66)
(EQ FOOVAR 37))
(MTHELP (QUOTE (COMPILEVAL])
(!CHECKARGS
[LAMBDA NIL
(DECLARE (USEDFREE ACTUAL ANON FORMAL INTERPDEF A B C D E F N))
(* bvm: "11-MAR-82 15:43")
[COND
[(LISTP FORMAL)
(for Y in FORMAL as X←ACTUAL bind VAL by (CDR X)
do (COND
((OR (NEQ (SETQ VAL (SELECTQ Y
(A A)
(B B)
(C C)
(D D)
(E E)
(F F)
(SHOULDNT)))
(CAR X))
(NEQ (SETQ VAL (EVALV Y))
(CAR X)))
(MTHELP Y "Free Value wrong - was " VAL "should be" (CAR X]
(FORMAL (OR (AND (EQ (EVALV FORMAL)
(LENGTH ACTUAL))
(EQ N (EVALV FORMAL)))
(MTHELP (QUOTE ARGCOUNT)))
(for I from 1 to N as X in ACTUAL do (OR (EQ (ARG N I)
X)
(MTHELP (QUOTE ARG)
I]
(PROG ((FRAME (REALSTKNTH -1 (QUOTE !CHECKARGS)))
SCANFRAME NARGS NAME)
(OR FRAME (MTHELP "Interpreter frame not found"))
(OR (EQ (COND
(ANON INTERPDEF)
(T (QUOTE !INTERPTESTER)))
(SETQ NAME (STKNAME FRAME)))
(MTHELP "Interpreter frame name wrong:" NAME))
(for X in FORMAL do (OR (EQP FRAME (SETQ SCANFRAME (STKSCAN X)))
(MTHELP "STKSCAN failed for var" X))
(RELSTK SCANFRAME))
(OR (IGEQ (SETQ NARGS (STKNARGS FRAME))
(LENGTH FORMAL))
(MTHELP "STKNARGS WRONG" NARGS))
(RELSTK FRAME])
(!CHECKLSTARARG
[LAMBDA (I VAL) (* bvm: "26-SEP-81 21:19")
(OR (EQ VAL (CAR (NTH ACTUAL I)))
(MTHELP "INTERPRETED ARG" I])
(!CHECKLSTARSETARG
[LAMBDA (I VAL) (* bvm: "26-SEP-81 21:20")
(OR (EQ VAL (IPLUS I 310Q))
(MTHELP "INTERPRETED SETARG" I])
(!CONSTEST
[LAMBDA NIL (* bvm: "14-JAN-82 17:23")
(PROG (A B C D)
(MTCHECKSTK (PROG1 NIL (SETQ A (CONS (QUOTE A)
(QUOTE B)))
(MTCHECK (EQ (CAR A)
(QUOTE A))
(EQ (CDR A)
(QUOTE B)))
[SETQ A (CONS (QUOTE A)
(SETQ B (QUOTE (D E F]
(MTCHECK (EQ (CAR A)
(QUOTE A))
(EQ (CDR A)
B))
(SETQ A (DOCOLLECT (CONS 1)))
(MTCHECK (EQUAL (CAR A)
(QUOTE (1)))
(EQ (CDR A)
A)
(EQ (GETREF A)
1)
(EQ (GETREF (CAR A))
1))
(for X on (CDR (for I from 1 to 400Q collect (CONS I)))
do (MTCHECK (EQ (GETREF X)
1))
(EQ (GETREF (CAR X))
1))
(SETQ D (for I from 0 to 1000Q collect (LIST I)))
[for X on D do (PROG ((Y (CDR X))
(AX (CAR X))
(AY (CADR X))
(DY (CDDR X)))
(OR Y (RETURN))
[MTCHECK (PROGN (swap (CAR X)
(CAR Y))
(AND (EQ (CAR X)
AY)
(EQ (CAR Y)
AX]
[MTCHECK (PROGN (swap (CDR Y)
(CDR X))
(AND (EQ (CDR X)
DY)
(EQ (CDR Y)
Y]
(MTCHECK (PROGN
(* Now put them back)
(swap (CAR X)
(CAR Y))
(swap (CDR Y)
(CDR X))
(AND (EQ Y (CDR X))
(EQ (CAR X)
AX)
(EQ (CAR Y)
AY]
[for VAR in (LIST NIL D "A STRING")
do (for X on D do (MTCHECK (EQ (PROG1 (CDR X)
(swap (CDR X)
VAR)
(swap (CDR X)
VAR))
(CDR X]
(for X on (CDR D) do (MTCHECK (EQ (GETREF X)
1)
(EQ (GETREF (CAR X))
1)))
[for I from 0 to 1000Q do (MTCHECK (EQUAL (pop D)
(LIST I]
(for X
in (QUOTE ((((A) . B))
(A B)
((A B . C))
((A B C D . E))
[(A . B)
(C . D)
(E . F)
((((((((((((((G]
(1 2 3 4 5 6 7 10Q 11Q 12Q 13Q 14Q 15Q 16Q 17Q 20Q 21Q 22Q
23Q 24Q)))
bind Y K Z do [MTCHECK (EQUAL X (SETQ Y (!COPY X]
[MTCHECK (EQUAL X (SETQ Z (COPY X]
[MTCHECK (EQUAL X (SETQ Z (!SMASH Z]
(MTCHECK (EQUAL X (SETQ K
(MAPCAR X (FUNCTION (LAMBDA (YY)
YY])
(!COPY
[LAMBDA (X) (* lmm "25-FEB-81 21:47")
(COND
((NLISTP X)
X)
(T (CONS (!COPY (CAR X))
(!COPY (CDR X])
(!SMASH
[LAMBDA (X) (* bvm: "14-JAN-82 17:04")
(COND
[(LISTP X)
(RPLACD (RPLACA X (!SMASH (CAR X)))
(!SMASH (CDR X]
((NULL X)
(RPLACA (RPLACD X X)
X))
(T X])
(CHECKFREELISTS
[LAMBDA NIL (* lmm "30-MAY-83 19:14")
(for I from 1 to \MaxTypeNumber
do (PROG ((DTD (\GETDTD I))
NAME)
(SELECTQ (OR (\INDEXATOMPNAME (fetch DTDNAME of DTD))
(RETURN))
((LITATOM **DEALLOC** SMALLP)
(RETURN))
NIL)
(COND
[(OR (EQ CDRCODING 0)
(NEQ I \LISTP))
(for (PTR ←(fetch DTDFREE of DTD)) by (\GETBASEPTR PTR 0) while PTR
do (MTCHECK (EQ (NTYPX PTR)
I]
(T (for (LSTPAG ←(create POINTER
PAGE# ←(fetch DTDNEXTPAGE of \LISTPDTD)))
by (create POINTER
PAGE# ←(fetch (CONSPAGE NEXTPAGE) of LSTPAG))
while LSTPAG do (MTCHECK (LISTP LSTPAG])
(!CKEQ
[LAMBDA (RESULT ANSWER FORM) (* bvm: "11-MAR-82 15:36")
(OR (AND (EQ (TYPENAME RESULT)
(TYPENAME ANSWER))
(EQUAL RESULT ANSWER))
(AND !MTALLOWINEXACTFLG (FLOATP ANSWER)
(ILEQ (IABS (IDIFFERENCE (fetch (FLOATP FLOATCONTENTS) of RESULT)
(fetch (FLOATP FLOATCONTENTS) of ANSWER)))
1))
(RAID (LIST FORM (QUOTE =>)
RESULT
(QUOTE should-have-been)
ANSWER])
)
(* Utilities for debugging arrays)
(DEFINEQ
(FINDPTRINLIST
[LAMBDA (PTR LST) (* lmm "28-JUN-80 22:01")
(find X in LST suchthat (AND (EQ (CAAR X)
(HILOC PTR))
(EQ (CDAR X)
(LOLOC PTR])
(PPFBL
[LAMBDA NIL (* rmk: " 8-MAY-81 09:07")
(* Prints information about items on \FREEBLOCKLIST)
(DECLARE (GLOBALVARS \FREEBLOCKLIST \ArrayFrLst))
(PROG (NEXT (ROVER \FREEBLOCKLIST)
(COUNT 0))
(OR ROVER (GO OUT))
LP (add COUNT 1)
(printout T T ROVER 21Q .I6 (fetch ARLEN of ROVER))
(AND [NEQ \ArrayFrLst (SETQ NEXT (\ADDBASE2 ROVER (fetch ARLEN of ROVER]
(NOT (fetch INUSE of NEXT))
(printout T -5 NEXT 50Q .I6 (fetch ARLEN of NEXT)))
(COND
((EQ (SETQ ROVER (fetch FWD of ROVER))
\FREEBLOCKLIST)
(GO OUT))
(T (GO LP)))
OUT (printout T T COUNT " blocks on \FREEBLOCKLIST" T])
)
(DEFINEQ
(!NUMBERTEST
[LAMBDA NIL (* lmm "21-OCT-81 15:50")
(!NUMTEST1)
(!NUMTEST2)
(!NUMTEST3)
(!NUMTEST4)
(!NUMTEST5)
(!NUMTEST6])
(!NUMTEST1
[LAMBDA NIL (* bvm: " 8-MAR-82 22:59")
(MTCHECKSTK (CKEQ (IGREATERP 0 0)
NIL)
(CKEQ (IPLUS 0 0)
0)
(CKEQ (IDIFFERENCE 0 0)
0)
(CKEQ (LOGOR 0 0)
0)
(CKEQ (LOGAND 0 0)
0)
(CKEQ (LOGXOR 0 0)
0)
(CKEQ (IGREATERP 0 1)
NIL)
(CKEQ (IPLUS 0 1)
1)
(CKEQ (IDIFFERENCE 0 1)
-1)
(CKEQ (LOGOR 0 1)
1)
(CKEQ (LOGAND 0 1)
0)
(CKEQ (LOGXOR 0 1)
1)
(CKEQ (IGREATERP 0 -1)
T)
(CKEQ (IPLUS 0 -1)
-1)
(CKEQ (IDIFFERENCE 0 -1)
1)
(CKEQ (LOGOR 0 -1)
-1)
(CKEQ (LOGAND 0 -1)
0)
(CKEQ (LOGXOR 0 -1)
-1)
(CKEQ (IGREATERP 0 2)
NIL)
(CKEQ (IPLUS 0 2)
2)
(CKEQ (IDIFFERENCE 0 2)
-2)
(CKEQ (LOGOR 0 2)
2)
(CKEQ (LOGAND 0 2)
0)
(CKEQ (LOGXOR 0 2)
2)
(CKEQ (IGREATERP 0 -2)
T)
(CKEQ (IPLUS 0 -2)
-2)
(CKEQ (IDIFFERENCE 0 -2)
2)
(CKEQ (LOGOR 0 -2)
-2)
(CKEQ (LOGAND 0 -2)
0)
(CKEQ (LOGXOR 0 -2)
-2)
(CKEQ (IGREATERP 0 177777Q)
NIL)
(CKEQ (IPLUS 0 177777Q)
177777Q)
(CKEQ (IDIFFERENCE 0 177777Q)
-177777Q)
(CKEQ (LOGOR 0 177777Q)
177777Q)
(CKEQ (LOGAND 0 177777Q)
0)
(CKEQ (LOGXOR 0 177777Q)
177777Q)
(CKEQ (IGREATERP 0 -200000Q)
T)
(CKEQ (IPLUS 0 -200000Q)
-200000Q)
(CKEQ (IDIFFERENCE 0 -200000Q)
200000Q)
(CKEQ (LOGOR 0 -200000Q)
-200000Q)
(CKEQ (LOGAND 0 -200000Q)
0)
(CKEQ (LOGXOR 0 -200000Q)
-200000Q)
(CKEQ (IGREATERP 0 177776Q)
NIL)
(CKEQ (IPLUS 0 177776Q)
177776Q)
(CKEQ (IDIFFERENCE 0 177776Q)
-177776Q)
(CKEQ (LOGOR 0 177776Q)
177776Q)
(CKEQ (LOGAND 0 177776Q)
0)
(CKEQ (LOGXOR 0 177776Q)
177776Q)
(CKEQ (IGREATERP 0 -200001Q)
T)
(CKEQ (IPLUS 0 -200001Q)
-200001Q)
(CKEQ (IDIFFERENCE 0 -200001Q)
200001Q)
(CKEQ (LOGOR 0 -200001Q)
-200001Q)
(CKEQ (LOGAND 0 -200001Q)
0)
(CKEQ (LOGXOR 0 -200001Q)
-200001Q)
(CKEQ (IGREATERP 1 0)
T)
(CKEQ (IPLUS 1 0)
1)
(CKEQ (IDIFFERENCE 1 0)
1)
(CKEQ (LOGOR 1 0)
1)
(CKEQ (LOGAND 1 0)
0)
(CKEQ (LOGXOR 1 0)
1)
(CKEQ (IGREATERP 1 1)
NIL)
(CKEQ (IPLUS 1 1)
2)
(CKEQ (IDIFFERENCE 1 1)
0)
(CKEQ (LOGOR 1 1)
1)
(CKEQ (LOGAND 1 1)
1)
(CKEQ (LOGXOR 1 1)
0)
(CKEQ (IGREATERP 1 -1)
T)
(CKEQ (IPLUS 1 -1)
0)
(CKEQ (IDIFFERENCE 1 -1)
2)
(CKEQ (LOGOR 1 -1)
-1)
(CKEQ (LOGAND 1 -1)
1)
(CKEQ (LOGXOR 1 -1)
-2)
(CKEQ (IGREATERP 1 2)
NIL)
(CKEQ (IPLUS 1 2)
3)
(CKEQ (IDIFFERENCE 1 2)
-1)
(CKEQ (LOGOR 1 2)
3)
(CKEQ (LOGAND 1 2)
0)
(CKEQ (LOGXOR 1 2)
3)
(CKEQ (IGREATERP 1 -2)
T)
(CKEQ (IPLUS 1 -2)
-1)
(CKEQ (IDIFFERENCE 1 -2)
3)
(CKEQ (LOGOR 1 -2)
-1)
(CKEQ (LOGAND 1 -2)
0)
(CKEQ (LOGXOR 1 -2)
-1)
(CKEQ (IGREATERP 1 177777Q)
NIL)
(CKEQ (IPLUS 1 177777Q)
200000Q)
(CKEQ (IDIFFERENCE 1 177777Q)
-177776Q)
(CKEQ (LOGOR 1 177777Q)
177777Q)
(CKEQ (LOGAND 1 177777Q)
1)
(CKEQ (LOGXOR 1 177777Q)
177776Q)
(CKEQ (IGREATERP 1 -200000Q)
T)
(CKEQ (IPLUS 1 -200000Q)
-177777Q)
(CKEQ (IDIFFERENCE 1 -200000Q)
200001Q)
(CKEQ (LOGOR 1 -200000Q)
-177777Q)
(CKEQ (LOGAND 1 -200000Q)
0)
(CKEQ (LOGXOR 1 -200000Q)
-177777Q)
(CKEQ (IGREATERP 1 177776Q)
NIL)
(CKEQ (IPLUS 1 177776Q)
177777Q)
(CKEQ (IDIFFERENCE 1 177776Q)
-177775Q])
(!NUMTEST2
[LAMBDA NIL (* bvm: " 8-MAR-82 22:59")
(MTCHECKSTK (CKEQ (LOGOR 1 177776Q)
177777Q)
(CKEQ (LOGAND 1 177776Q)
0)
(CKEQ (LOGXOR 1 177776Q)
177777Q)
(CKEQ (IGREATERP 1 -200001Q)
T)
(CKEQ (IPLUS 1 -200001Q)
-200000Q)
(CKEQ (IDIFFERENCE 1 -200001Q)
200002Q)
(CKEQ (LOGOR 1 -200001Q)
-200001Q)
(CKEQ (LOGAND 1 -200001Q)
1)
(CKEQ (LOGXOR 1 -200001Q)
-200002Q)
(CKEQ (IGREATERP -1 0)
NIL)
(CKEQ (IPLUS -1 0)
-1)
(CKEQ (IDIFFERENCE -1 0)
-1)
(CKEQ (LOGOR -1 0)
-1)
(CKEQ (LOGAND -1 0)
0)
(CKEQ (LOGXOR -1 0)
-1)
(CKEQ (IGREATERP -1 1)
NIL)
(CKEQ (IPLUS -1 1)
0)
(CKEQ (IDIFFERENCE -1 1)
-2)
(CKEQ (LOGOR -1 1)
-1)
(CKEQ (LOGAND -1 1)
1)
(CKEQ (LOGXOR -1 1)
-2)
(CKEQ (IGREATERP -1 -1)
NIL)
(CKEQ (IPLUS -1 -1)
-2)
(CKEQ (IDIFFERENCE -1 -1)
0)
(CKEQ (LOGOR -1 -1)
-1)
(CKEQ (LOGAND -1 -1)
-1)
(CKEQ (LOGXOR -1 -1)
0)
(CKEQ (IGREATERP -1 2)
NIL)
(CKEQ (IPLUS -1 2)
1)
(CKEQ (IDIFFERENCE -1 2)
-3)
(CKEQ (LOGOR -1 2)
-1)
(CKEQ (LOGAND -1 2)
2)
(CKEQ (LOGXOR -1 2)
-3)
(CKEQ (IGREATERP -1 -2)
T)
(CKEQ (IPLUS -1 -2)
-3)
(CKEQ (IDIFFERENCE -1 -2)
1)
(CKEQ (LOGOR -1 -2)
-1)
(CKEQ (LOGAND -1 -2)
-2)
(CKEQ (LOGXOR -1 -2)
1)
(CKEQ (IGREATERP -1 177777Q)
NIL)
(CKEQ (IPLUS -1 177777Q)
177776Q)
(CKEQ (IDIFFERENCE -1 177777Q)
-200000Q)
(CKEQ (LOGOR -1 177777Q)
-1)
(CKEQ (LOGAND -1 177777Q)
177777Q)
(CKEQ (LOGXOR -1 177777Q)
-200000Q)
(CKEQ (IGREATERP -1 -200000Q)
T)
(CKEQ (IPLUS -1 -200000Q)
-200001Q)
(CKEQ (IDIFFERENCE -1 -200000Q)
177777Q)
(CKEQ (LOGOR -1 -200000Q)
-1)
(CKEQ (LOGAND -1 -200000Q)
-200000Q)
(CKEQ (LOGXOR -1 -200000Q)
177777Q)
(CKEQ (IGREATERP -1 177776Q)
NIL)
(CKEQ (IPLUS -1 177776Q)
177775Q)
(CKEQ (IDIFFERENCE -1 177776Q)
-177777Q)
(CKEQ (LOGOR -1 177776Q)
-1)
(CKEQ (LOGAND -1 177776Q)
177776Q)
(CKEQ (LOGXOR -1 177776Q)
-177777Q)
(CKEQ (IGREATERP -1 -200001Q)
T)
(CKEQ (IPLUS -1 -200001Q)
-200002Q)
(CKEQ (IDIFFERENCE -1 -200001Q)
200000Q)
(CKEQ (LOGOR -1 -200001Q)
-1)
(CKEQ (LOGAND -1 -200001Q)
-200001Q)
(CKEQ (LOGXOR -1 -200001Q)
200000Q)
(CKEQ (IGREATERP 2 0)
T)
(CKEQ (IPLUS 2 0)
2)
(CKEQ (IDIFFERENCE 2 0)
2)
(CKEQ (LOGOR 2 0)
2)
(CKEQ (LOGAND 2 0)
0)
(CKEQ (LOGXOR 2 0)
2)
(CKEQ (IGREATERP 2 1)
T)
(CKEQ (IPLUS 2 1)
3)
(CKEQ (IDIFFERENCE 2 1)
1)
(CKEQ (LOGOR 2 1)
3)
(CKEQ (LOGAND 2 1)
0)
(CKEQ (LOGXOR 2 1)
3)
(CKEQ (IGREATERP 2 -1)
T)
(CKEQ (IPLUS 2 -1)
1)
(CKEQ (IDIFFERENCE 2 -1)
3)
(CKEQ (LOGOR 2 -1)
-1)
(CKEQ (LOGAND 2 -1)
2)
(CKEQ (LOGXOR 2 -1)
-3)
(CKEQ (IGREATERP 2 2)
NIL)
(CKEQ (IPLUS 2 2)
4)
(CKEQ (IDIFFERENCE 2 2)
0)
(CKEQ (LOGOR 2 2)
2)
(CKEQ (LOGAND 2 2)
2)
(CKEQ (LOGXOR 2 2)
0)
(CKEQ (IGREATERP 2 -2)
T)
(CKEQ (IPLUS 2 -2)
0)
(CKEQ (IDIFFERENCE 2 -2)
4)
(CKEQ (LOGOR 2 -2)
-2)
(CKEQ (LOGAND 2 -2)
2)
(CKEQ (LOGXOR 2 -2)
-4)
(CKEQ (IGREATERP 2 177777Q)
NIL)
(CKEQ (IPLUS 2 177777Q)
200001Q)
(CKEQ (IDIFFERENCE 2 177777Q)
-177775Q)
(CKEQ (LOGOR 2 177777Q)
177777Q)
(CKEQ (LOGAND 2 177777Q)
2)
(CKEQ (LOGXOR 2 177777Q)
177775Q])
(!NUMTEST3
[LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (IGREATERP 2 -200000Q)
T)
(CKEQ (IPLUS 2 -200000Q)
-177776Q)
(CKEQ (IDIFFERENCE 2 -200000Q)
200002Q)
(CKEQ (LOGOR 2 -200000Q)
-177776Q)
(CKEQ (LOGAND 2 -200000Q)
0)
(CKEQ (LOGXOR 2 -200000Q)
-177776Q)
(CKEQ (IGREATERP 2 177776Q)
NIL)
(CKEQ (IPLUS 2 177776Q)
200000Q)
(CKEQ (IDIFFERENCE 2 177776Q)
-177774Q)
(CKEQ (LOGOR 2 177776Q)
177776Q)
(CKEQ (LOGAND 2 177776Q)
2)
(CKEQ (LOGXOR 2 177776Q)
177774Q)
(CKEQ (IGREATERP 2 -200001Q)
T)
(CKEQ (IPLUS 2 -200001Q)
-177777Q)
(CKEQ (IDIFFERENCE 2 -200001Q)
200003Q)
(CKEQ (LOGOR 2 -200001Q)
-200001Q)
(CKEQ (LOGAND 2 -200001Q)
2)
(CKEQ (LOGXOR 2 -200001Q)
-200003Q)
(CKEQ (IGREATERP -2 0)
NIL)
(CKEQ (IPLUS -2 0)
-2)
(CKEQ (IDIFFERENCE -2 0)
-2)
(CKEQ (LOGOR -2 0)
-2)
(CKEQ (LOGAND -2 0)
0)
(CKEQ (LOGXOR -2 0)
-2)
(CKEQ (IGREATERP -2 1)
NIL)
(CKEQ (IPLUS -2 1)
-1)
(CKEQ (IDIFFERENCE -2 1)
-3)
(CKEQ (LOGOR -2 1)
-1)
(CKEQ (LOGAND -2 1)
0)
(CKEQ (LOGXOR -2 1)
-1)
(CKEQ (IGREATERP -2 -1)
NIL)
(CKEQ (IPLUS -2 -1)
-3)
(CKEQ (IDIFFERENCE -2 -1)
-1)
(CKEQ (LOGOR -2 -1)
-1)
(CKEQ (LOGAND -2 -1)
-2)
(CKEQ (LOGXOR -2 -1)
1)
(CKEQ (IGREATERP -2 2)
NIL)
(CKEQ (IPLUS -2 2)
0)
(CKEQ (IDIFFERENCE -2 2)
-4)
(CKEQ (LOGOR -2 2)
-2)
(CKEQ (LOGAND -2 2)
2)
(CKEQ (LOGXOR -2 2)
-4)
(CKEQ (IGREATERP -2 -2)
NIL)
(CKEQ (IPLUS -2 -2)
-4)
(CKEQ (IDIFFERENCE -2 -2)
0)
(CKEQ (LOGOR -2 -2)
-2)
(CKEQ (LOGAND -2 -2)
-2)
(CKEQ (LOGXOR -2 -2)
0)
(CKEQ (IGREATERP -2 177777Q)
NIL)
(CKEQ (IPLUS -2 177777Q)
177775Q)
(CKEQ (IDIFFERENCE -2 177777Q)
-200001Q)
(CKEQ (LOGOR -2 177777Q)
-1)
(CKEQ (LOGAND -2 177777Q)
177776Q)
(CKEQ (LOGXOR -2 177777Q)
-177777Q)
(CKEQ (IGREATERP -2 -200000Q)
T)
(CKEQ (IPLUS -2 -200000Q)
-200002Q)
(CKEQ (IDIFFERENCE -2 -200000Q)
177776Q)
(CKEQ (LOGOR -2 -200000Q)
-2)
(CKEQ (LOGAND -2 -200000Q)
-200000Q)
(CKEQ (LOGXOR -2 -200000Q)
177776Q)
(CKEQ (IGREATERP -2 177776Q)
NIL)
(CKEQ (IPLUS -2 177776Q)
177774Q)
(CKEQ (IDIFFERENCE -2 177776Q)
-200000Q)
(CKEQ (LOGOR -2 177776Q)
-2)
(CKEQ (LOGAND -2 177776Q)
177776Q)
(CKEQ (LOGXOR -2 177776Q)
-200000Q)
(CKEQ (IGREATERP -2 -200001Q)
T)
(CKEQ (IPLUS -2 -200001Q)
-200003Q)
(CKEQ (IDIFFERENCE -2 -200001Q)
177777Q)
(CKEQ (LOGOR -2 -200001Q)
-1)
(CKEQ (LOGAND -2 -200001Q)
-200002Q)
(CKEQ (LOGXOR -2 -200001Q)
200001Q)
(CKEQ (IGREATERP 177777Q 0)
T)
(CKEQ (IPLUS 177777Q 0)
177777Q)
(CKEQ (IDIFFERENCE 177777Q 0)
177777Q)
(CKEQ (LOGOR 177777Q 0)
177777Q)
(CKEQ (LOGAND 177777Q 0)
0)
(CKEQ (LOGXOR 177777Q 0)
177777Q)
(CKEQ (IGREATERP 177777Q 1)
T)
(CKEQ (IPLUS 177777Q 1)
200000Q)
(CKEQ (IDIFFERENCE 177777Q 1)
177776Q)
(CKEQ (LOGOR 177777Q 1)
177777Q)
(CKEQ (LOGAND 177777Q 1)
1)
(CKEQ (LOGXOR 177777Q 1)
177776Q)
(CKEQ (IGREATERP 177777Q -1)
T)
(CKEQ (IPLUS 177777Q -1)
177776Q)
(CKEQ (IDIFFERENCE 177777Q -1)
200000Q)
(CKEQ (LOGOR 177777Q -1)
-1)
(CKEQ (LOGAND 177777Q -1)
177777Q)
(CKEQ (LOGXOR 177777Q -1)
-200000Q)
(CKEQ (IGREATERP 177777Q 2)
T)
(CKEQ (IPLUS 177777Q 2)
200001Q)
(CKEQ (IDIFFERENCE 177777Q 2)
177775Q)
(CKEQ (LOGOR 177777Q 2)
177777Q)
(CKEQ (LOGAND 177777Q 2)
2)
(CKEQ (LOGXOR 177777Q 2)
177775Q)
(CKEQ (IGREATERP 177777Q -2)
T)
(CKEQ (IPLUS 177777Q -2)
177775Q)
(CKEQ (IDIFFERENCE 177777Q -2)
200001Q)
(CKEQ (LOGOR 177777Q -2)
-1])
(!NUMTEST4
[LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (LOGAND 177777Q -2)
177776Q)
(CKEQ (LOGXOR 177777Q -2)
-177777Q)
(CKEQ (IGREATERP 177777Q 177777Q)
NIL)
(CKEQ (IPLUS 177777Q 177777Q)
377776Q)
(CKEQ (IDIFFERENCE 177777Q 177777Q)
0)
(CKEQ (LOGOR 177777Q 177777Q)
177777Q)
(CKEQ (LOGAND 177777Q 177777Q)
177777Q)
(CKEQ (LOGXOR 177777Q 177777Q)
0)
(CKEQ (IGREATERP 177777Q -200000Q)
T)
(CKEQ (IPLUS 177777Q -200000Q)
-1)
(CKEQ (IDIFFERENCE 177777Q -200000Q)
377777Q)
(CKEQ (LOGOR 177777Q -200000Q)
-1)
(CKEQ (LOGAND 177777Q -200000Q)
0)
(CKEQ (LOGXOR 177777Q -200000Q)
-1)
(CKEQ (IGREATERP 177777Q 177776Q)
T)
(CKEQ (IPLUS 177777Q 177776Q)
377775Q)
(CKEQ (IDIFFERENCE 177777Q 177776Q)
1)
(CKEQ (LOGOR 177777Q 177776Q)
177777Q)
(CKEQ (LOGAND 177777Q 177776Q)
177776Q)
(CKEQ (LOGXOR 177777Q 177776Q)
1)
(CKEQ (IGREATERP 177777Q -200001Q)
T)
(CKEQ (IPLUS 177777Q -200001Q)
-2)
(CKEQ (IDIFFERENCE 177777Q -200001Q)
400000Q)
(CKEQ (LOGOR 177777Q -200001Q)
-200001Q)
(CKEQ (LOGAND 177777Q -200001Q)
177777Q)
(CKEQ (LOGXOR 177777Q -200001Q)
-400000Q)
(CKEQ (IGREATERP -200000Q 0)
NIL)
(CKEQ (IPLUS -200000Q 0)
-200000Q)
(CKEQ (IDIFFERENCE -200000Q 0)
-200000Q)
(CKEQ (LOGOR -200000Q 0)
-200000Q)
(CKEQ (LOGAND -200000Q 0)
0)
(CKEQ (LOGXOR -200000Q 0)
-200000Q)
(CKEQ (IGREATERP -200000Q 1)
NIL)
(CKEQ (IPLUS -200000Q 1)
-177777Q)
(CKEQ (IDIFFERENCE -200000Q 1)
-200001Q)
(CKEQ (LOGOR -200000Q 1)
-177777Q)
(CKEQ (LOGAND -200000Q 1)
0)
(CKEQ (LOGXOR -200000Q 1)
-177777Q)
(CKEQ (IGREATERP -200000Q -1)
NIL)
(CKEQ (IPLUS -200000Q -1)
-200001Q)
(CKEQ (IDIFFERENCE -200000Q -1)
-177777Q)
(CKEQ (LOGOR -200000Q -1)
-1)
(CKEQ (LOGAND -200000Q -1)
-200000Q)
(CKEQ (LOGXOR -200000Q -1)
177777Q)
(CKEQ (IGREATERP -200000Q 2)
NIL)
(CKEQ (IPLUS -200000Q 2)
-177776Q)
(CKEQ (IDIFFERENCE -200000Q 2)
-200002Q)
(CKEQ (LOGOR -200000Q 2)
-177776Q)
(CKEQ (LOGAND -200000Q 2)
0)
(CKEQ (LOGXOR -200000Q 2)
-177776Q)
(CKEQ (IGREATERP -200000Q -2)
NIL)
(CKEQ (IPLUS -200000Q -2)
-200002Q)
(CKEQ (IDIFFERENCE -200000Q -2)
-177776Q)
(CKEQ (LOGOR -200000Q -2)
-2)
(CKEQ (LOGAND -200000Q -2)
-200000Q)
(CKEQ (LOGXOR -200000Q -2)
177776Q)
(CKEQ (IGREATERP -200000Q 177777Q)
NIL)
(CKEQ (IPLUS -200000Q 177777Q)
-1)
(CKEQ (IDIFFERENCE -200000Q 177777Q)
-377777Q)
(CKEQ (LOGOR -200000Q 177777Q)
-1)
(CKEQ (LOGAND -200000Q 177777Q)
0)
(CKEQ (LOGXOR -200000Q 177777Q)
-1)
(CKEQ (IGREATERP -200000Q -200000Q)
NIL)
(CKEQ (IPLUS -200000Q -200000Q)
-400000Q)
(CKEQ (IDIFFERENCE -200000Q -200000Q)
0)
(CKEQ (LOGOR -200000Q -200000Q)
-200000Q)
(CKEQ (LOGAND -200000Q -200000Q)
-200000Q)
(CKEQ (LOGXOR -200000Q -200000Q)
0)
(CKEQ (IGREATERP -200000Q 177776Q)
NIL)
(CKEQ (IPLUS -200000Q 177776Q)
-2)
(CKEQ (IDIFFERENCE -200000Q 177776Q)
-377776Q)
(CKEQ (LOGOR -200000Q 177776Q)
-2)
(CKEQ (LOGAND -200000Q 177776Q)
0)
(CKEQ (LOGXOR -200000Q 177776Q)
-2)
(CKEQ (IGREATERP -200000Q -200001Q)
T)
(CKEQ (IPLUS -200000Q -200001Q)
-400001Q)
(CKEQ (IDIFFERENCE -200000Q -200001Q)
1)
(CKEQ (LOGOR -200000Q -200001Q)
-1)
(CKEQ (LOGAND -200000Q -200001Q)
-400000Q)
(CKEQ (LOGXOR -200000Q -200001Q)
377777Q)
(CKEQ (IGREATERP 177776Q 0)
T)
(CKEQ (IPLUS 177776Q 0)
177776Q)
(CKEQ (IDIFFERENCE 177776Q 0)
177776Q)
(CKEQ (LOGOR 177776Q 0)
177776Q)
(CKEQ (LOGAND 177776Q 0)
0)
(CKEQ (LOGXOR 177776Q 0)
177776Q)
(CKEQ (IGREATERP 177776Q 1)
T)
(CKEQ (IPLUS 177776Q 1)
177777Q)
(CKEQ (IDIFFERENCE 177776Q 1)
177775Q)
(CKEQ (LOGOR 177776Q 1)
177777Q)
(CKEQ (LOGAND 177776Q 1)
0)
(CKEQ (LOGXOR 177776Q 1)
177777Q)
(CKEQ (IGREATERP 177776Q -1)
T)
(CKEQ (IPLUS 177776Q -1)
177775Q)
(CKEQ (IDIFFERENCE 177776Q -1)
177777Q)
(CKEQ (LOGOR 177776Q -1)
-1)
(CKEQ (LOGAND 177776Q -1)
177776Q)
(CKEQ (LOGXOR 177776Q -1)
-177777Q)
(CKEQ (IGREATERP 177776Q 2)
T])
(!NUMTEST5
[LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (IPLUS 177776Q 2)
200000Q)
(CKEQ (IDIFFERENCE 177776Q 2)
177774Q)
(CKEQ (LOGOR 177776Q 2)
177776Q)
(CKEQ (LOGAND 177776Q 2)
2)
(CKEQ (LOGXOR 177776Q 2)
177774Q)
(CKEQ (IGREATERP 177776Q -2)
T)
(CKEQ (IPLUS 177776Q -2)
177774Q)
(CKEQ (IDIFFERENCE 177776Q -2)
200000Q)
(CKEQ (LOGOR 177776Q -2)
-2)
(CKEQ (LOGAND 177776Q -2)
177776Q)
(CKEQ (LOGXOR 177776Q -2)
-200000Q)
(CKEQ (IGREATERP 177776Q 177777Q)
NIL)
(CKEQ (IPLUS 177776Q 177777Q)
377775Q)
(CKEQ (IDIFFERENCE 177776Q 177777Q)
-1)
(CKEQ (LOGOR 177776Q 177777Q)
177777Q)
(CKEQ (LOGAND 177776Q 177777Q)
177776Q)
(CKEQ (LOGXOR 177776Q 177777Q)
1)
(CKEQ (IGREATERP 177776Q -200000Q)
T)
(CKEQ (IPLUS 177776Q -200000Q)
-2)
(CKEQ (IDIFFERENCE 177776Q -200000Q)
377776Q)
(CKEQ (LOGOR 177776Q -200000Q)
-2)
(CKEQ (LOGAND 177776Q -200000Q)
0)
(CKEQ (LOGXOR 177776Q -200000Q)
-2)
(CKEQ (IGREATERP 177776Q 177776Q)
NIL)
(CKEQ (IPLUS 177776Q 177776Q)
377774Q)
(CKEQ (IDIFFERENCE 177776Q 177776Q)
0)
(CKEQ (LOGOR 177776Q 177776Q)
177776Q)
(CKEQ (LOGAND 177776Q 177776Q)
177776Q)
(CKEQ (LOGXOR 177776Q 177776Q)
0)
(CKEQ (IGREATERP 177776Q -200001Q)
T)
(CKEQ (IPLUS 177776Q -200001Q)
-3)
(CKEQ (IDIFFERENCE 177776Q -200001Q)
377777Q)
(CKEQ (LOGOR 177776Q -200001Q)
-200001Q)
(CKEQ (LOGAND 177776Q -200001Q)
177776Q)
(CKEQ (LOGXOR 177776Q -200001Q)
-377777Q)
(CKEQ (IGREATERP -200001Q 0)
NIL)
(CKEQ (IPLUS -200001Q 0)
-200001Q)
(CKEQ (IDIFFERENCE -200001Q 0)
-200001Q)
(CKEQ (LOGOR -200001Q 0)
-200001Q)
(CKEQ (LOGAND -200001Q 0)
0)
(CKEQ (LOGXOR -200001Q 0)
-200001Q)
(CKEQ (IGREATERP -200001Q 1)
NIL)
(CKEQ (IPLUS -200001Q 1)
-200000Q)
(CKEQ (IDIFFERENCE -200001Q 1)
-200002Q)
(CKEQ (LOGOR -200001Q 1)
-200001Q)
(CKEQ (LOGAND -200001Q 1)
1)
(CKEQ (LOGXOR -200001Q 1)
-200002Q)
(CKEQ (IGREATERP -200001Q -1)
NIL)
(CKEQ (IPLUS -200001Q -1)
-200002Q)
(CKEQ (IDIFFERENCE -200001Q -1)
-200000Q)
(CKEQ (LOGOR -200001Q -1)
-1)
(CKEQ (LOGAND -200001Q -1)
-200001Q)
(CKEQ (LOGXOR -200001Q -1)
200000Q)
(CKEQ (IGREATERP -200001Q 2)
NIL)
(CKEQ (IPLUS -200001Q 2)
-177777Q)
(CKEQ (IDIFFERENCE -200001Q 2)
-200003Q)
(CKEQ (LOGOR -200001Q 2)
-200001Q)
(CKEQ (LOGAND -200001Q 2)
2)
(CKEQ (LOGXOR -200001Q 2)
-200003Q)
(CKEQ (IGREATERP -200001Q -2)
NIL)
(CKEQ (IPLUS -200001Q -2)
-200003Q)
(CKEQ (IDIFFERENCE -200001Q -2)
-177777Q)
(CKEQ (LOGOR -200001Q -2)
-1)
(CKEQ (LOGAND -200001Q -2)
-200002Q)
(CKEQ (LOGXOR -200001Q -2)
200001Q)
(CKEQ (IGREATERP -200001Q 177777Q)
NIL)
(CKEQ (IPLUS -200001Q 177777Q)
-2)
(CKEQ (IDIFFERENCE -200001Q 177777Q)
-400000Q)
(CKEQ (LOGOR -200001Q 177777Q)
-200001Q)
(CKEQ (LOGAND -200001Q 177777Q)
177777Q)
(CKEQ (LOGXOR -200001Q 177777Q)
-400000Q)
(CKEQ (IGREATERP -200001Q -200000Q)
NIL)
(CKEQ (IPLUS -200001Q -200000Q)
-400001Q)
(CKEQ (IDIFFERENCE -200001Q -200000Q)
-1)
(CKEQ (LOGOR -200001Q -200000Q)
-1)
(CKEQ (LOGAND -200001Q -200000Q)
-400000Q)
(CKEQ (LOGXOR -200001Q -200000Q)
377777Q)
(CKEQ (IGREATERP -200001Q 177776Q)
NIL)
(CKEQ (IPLUS -200001Q 177776Q)
-3)
(CKEQ (IDIFFERENCE -200001Q 177776Q)
-377777Q)
(CKEQ (LOGOR -200001Q 177776Q)
-200001Q)
(CKEQ (LOGAND -200001Q 177776Q)
177776Q)
(CKEQ (LOGXOR -200001Q 177776Q)
-377777Q)
(CKEQ (IGREATERP -200001Q -200001Q)
NIL)
(CKEQ (IPLUS -200001Q -200001Q)
-400002Q)
(CKEQ (IDIFFERENCE -200001Q -200001Q)
0)
(CKEQ (LOGOR -200001Q -200001Q)
-200001Q)
(CKEQ (LOGAND -200001Q -200001Q)
-200001Q)
(CKEQ (LOGXOR -200001Q -200001Q)
0)
(CKEQ (LRSH 0 1)
0)
(CKEQ (LLSH 0 1)
0)
(CKEQ (LRSH 0 10Q)
0)
(CKEQ (LLSH 0 10Q)
0)
(CKEQ (LRSH 1 1)
0)
(CKEQ (LLSH 1 1)
2)
(CKEQ (LRSH 1 10Q)
0)
(CKEQ (LLSH 1 10Q)
400Q)
(CKEQ (LLSH -1 1)
-2)
(CKEQ (LLSH -1 10Q)
-400Q])
(!NUMTEST6
[LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (LRSH 2 1)
1)
(CKEQ (LLSH 2 1)
4)
(CKEQ (LRSH 2 10Q)
0)
(CKEQ (LLSH 2 10Q)
1000Q)
(CKEQ (LLSH -2 1)
-4)
(CKEQ (LLSH -2 10Q)
-1000Q)
(CKEQ (LRSH 177777Q 1)
77777Q)
(CKEQ (LLSH 177777Q 1)
377776Q)
(CKEQ (LRSH 177777Q 10Q)
377Q)
(CKEQ (LLSH 177777Q 10Q)
77777400Q)
(CKEQ (LLSH -200000Q 1)
-400000Q)
(CKEQ (LLSH -200000Q 10Q)
-100000000Q)
(CKEQ (LRSH 177776Q 1)
77777Q)
(CKEQ (LLSH 177776Q 1)
377774Q)
(CKEQ (LRSH 177776Q 10Q)
377Q)
(CKEQ (LLSH 177776Q 10Q)
77777000Q)
(CKEQ (LLSH -200001Q 1)
-400002Q)
(CKEQ (LLSH -200001Q 10Q)
-100000400Q)
(CKEQ (IQUOTIENT 0 1)
0)
(CKEQ (IREMAINDER 0 1)
0)
(CKEQ (ITIMES 0 1)
0)
(CKEQ (IQUOTIENT 0 10Q)
0)
(CKEQ (IREMAINDER 0 10Q)
0)
(CKEQ (ITIMES 0 10Q)
0)
(CKEQ (IQUOTIENT 1 1)
1)
(CKEQ (IREMAINDER 1 1)
0)
(CKEQ (ITIMES 1 1)
1)
(CKEQ (IQUOTIENT 1 10Q)
0)
(CKEQ (IREMAINDER 1 10Q)
1)
(CKEQ (ITIMES 1 10Q)
10Q)
(CKEQ (IQUOTIENT -1 1)
-1)
(CKEQ (IREMAINDER -1 1)
0)
(CKEQ (ITIMES -1 1)
-1)
(CKEQ (IQUOTIENT -1 10Q)
0)
(CKEQ (IREMAINDER -1 10Q)
-1)
(CKEQ (ITIMES -1 10Q)
-10Q)
(CKEQ (IQUOTIENT 2 1)
2)
(CKEQ (IREMAINDER 2 1)
0)
(CKEQ (ITIMES 2 1)
2)
(CKEQ (IQUOTIENT 2 10Q)
0)
(CKEQ (IREMAINDER 2 10Q)
2)
(CKEQ (ITIMES 2 10Q)
20Q)
(CKEQ (IQUOTIENT -2 1)
-2)
(CKEQ (IREMAINDER -2 1)
0)
(CKEQ (ITIMES -2 1)
-2)
(CKEQ (IQUOTIENT -2 10Q)
0)
(CKEQ (IREMAINDER -2 10Q)
-2)
(CKEQ (ITIMES -2 10Q)
-20Q)
(CKEQ (IQUOTIENT 177777Q 1)
177777Q)
(CKEQ (IREMAINDER 177777Q 1)
0)
(CKEQ (ITIMES 177777Q 1)
177777Q)
(CKEQ (IQUOTIENT 177777Q 10Q)
17777Q)
(CKEQ (IREMAINDER 177777Q 10Q)
7)
(CKEQ (ITIMES 177777Q 10Q)
1777770Q)
(CKEQ (IQUOTIENT -200000Q 1)
-200000Q)
(CKEQ (IREMAINDER -200000Q 1)
0)
(CKEQ (ITIMES -200000Q 1)
-200000Q)
(CKEQ (IQUOTIENT -200000Q 10Q)
-20000Q)
(CKEQ (IREMAINDER -200000Q 10Q)
0)
(CKEQ (ITIMES -200000Q 10Q)
-2000000Q)
(CKEQ (IQUOTIENT 177776Q 1)
177776Q)
(CKEQ (IREMAINDER 177776Q 1)
0)
(CKEQ (ITIMES 177776Q 1)
177776Q)
(CKEQ (IQUOTIENT 177776Q 10Q)
17777Q)
(CKEQ (IREMAINDER 177776Q 10Q)
6)
(CKEQ (ITIMES 177776Q 10Q)
1777760Q)
(CKEQ (IQUOTIENT -200001Q 1)
-200001Q)
(CKEQ (IREMAINDER -200001Q 1)
0)
(CKEQ (ITIMES -200001Q 1)
-200001Q)
(CKEQ (IQUOTIENT -200001Q 10Q)
-20000Q)
(CKEQ (IREMAINDER -200001Q 10Q)
-1)
(CKEQ (ITIMES -200001Q 10Q)
-2000010Q)
(CKEQ (IQUOTIENT 3 1)
3)
(CKEQ (IREMAINDER 3 1)
0)
(CKEQ (ITIMES 3 1)
3)
(CKEQ (IQUOTIENT 3 10Q)
0)
(CKEQ (IREMAINDER 3 10Q)
3)
(CKEQ (ITIMES 3 10Q)
30Q)
(CKEQ (IQUOTIENT -3 1)
-3)
(CKEQ (IREMAINDER -3 1)
0)
(CKEQ (ITIMES -3 1)
-3)
(CKEQ (IQUOTIENT -3 10Q)
0)
(CKEQ (IREMAINDER -3 10Q)
-3)
(CKEQ (ITIMES -3 10Q)
-30Q)
(CKEQ (IQUOTIENT 4 1)
4)
(CKEQ (IREMAINDER 4 1)
0)
(CKEQ (ITIMES 4 1)
4)
(CKEQ (IQUOTIENT 4 10Q)
0)
(CKEQ (IREMAINDER 4 10Q)
4)
(CKEQ (ITIMES 4 10Q)
40Q)
(CKEQ (IQUOTIENT -4 1)
-4)
(CKEQ (IREMAINDER -4 1)
0)
(CKEQ (ITIMES -4 1)
-4)
(CKEQ (IQUOTIENT -4 10Q)
0)
(CKEQ (IREMAINDER -4 10Q)
-4)
(CKEQ (ITIMES -4 10Q)
-40Q])
(!RANDNUMTEST
[LAMBDA NIL (* lmm " 5-JAN-82 20:03")
(* (PROG (FORMS FORM ARG1 ARG2) (FRPTQ 36Q (SETQ ARG1 (SELECTQ (RAND 0 2) (0 (RAND -200000Q 177777Q))
(1 (RAND -5 5)) (RAND -20000000000Q 17777777777Q))) (SETQ ARG2 (SELECTQ (RAND 0 2) (0 (RAND -200000Q 177777Q))
(1 (RAND -5 5)) (RAND -20000000000Q 17777777777Q))) (for FN in (QUOTE (ITIMES IQUOTIENT IPLUS IDIFFERENCE
IREMAINDER)) do (COND ((OR (NEQ ARG2 0) (NEQ FN (QUOTE IQUOTIENT))) (SETQ FORM (APPLY* (PACK*
(QUOTE F) (SUBATOM FN 2 -1)) (FLOAT ARG1) (FLOAT ARG2))) (COND ((AND (FGREATERP FORM -20000000000Q)
(FLESSP FORM -20000000000Q)) (SETQ FORM (LIST FN ARG1 ARG2)) (push FORMS (LIST (QUOTE CKEQ) FORM
(EVAL FORM))))))))) (RETURN (CONS (QUOTE MTCHECKSTK) FORMS))))
(!RANDNUMTEST1)
(!RANDNUMTEST2)
(!RANDNUMTEST3)
(!RANDNUMTEST4])
(!RANDNUMTEST1
[LAMBDA NIL (* lmm " 5-JAN-82 20:00")
(MTCHECKSTK (CKEQ (IDIFFERENCE 225103021Q -41354Q)
225144375Q)
(CKEQ (IPLUS 225103021Q -41354Q)
225041445Q)
(CKEQ (IQUOTIENT 225103021Q -41354Q)
-4351Q)
(CKEQ (IDIFFERENCE 55211Q -170231Q)
245442Q)
(CKEQ (IPLUS 55211Q -170231Q)
-113020Q)
(CKEQ (IQUOTIENT 55211Q -170231Q)
0)
(CKEQ (ITIMES 55211Q -170231Q)
-12505505741Q)
(CKEQ (IDIFFERENCE 7527556636Q 6230151670Q)
1277404746Q)
(CKEQ (IPLUS 7527556636Q 6230151670Q)
15757730526Q)
(CKEQ (IQUOTIENT 7527556636Q 6230151670Q)
1)
(CKEQ (IDIFFERENCE 46753Q 147206Q)
-100233Q)
(CKEQ (IPLUS 46753Q 147206Q)
216161Q)
(CKEQ (IQUOTIENT 46753Q 147206Q)
0)
(CKEQ (ITIMES 46753Q 147206Q)
7666761402Q)
(CKEQ (IDIFFERENCE -2102475710Q 2301345735Q)
-4404043645Q)
(CKEQ (IPLUS -2102475710Q 2301345735Q)
176650025Q)
(CKEQ (IQUOTIENT -2102475710Q 2301345735Q)
0)
(CKEQ (IDIFFERENCE -2623Q 4352565011Q)
-4352567634Q)
(CKEQ (IPLUS -2623Q 4352565011Q)
4352562166Q)
(CKEQ (IQUOTIENT -2623Q 4352565011Q)
0)
(CKEQ (IDIFFERENCE -14153253501Q -57651Q)
-14153173630Q)
(CKEQ (IPLUS -14153253501Q -57651Q)
-14153333352Q)
(CKEQ (IQUOTIENT -14153253501Q -57651Q)
202545Q)
(CKEQ (IDIFFERENCE 165526Q 2720657437Q)
-2720471711Q)
(CKEQ (IPLUS 165526Q 2720657437Q)
2721045165Q)
(CKEQ (IQUOTIENT 165526Q 2720657437Q)
0)
(CKEQ (IDIFFERENCE 2225143040Q 64675Q)
2225056143Q)
(CKEQ (IPLUS 2225143040Q 64675Q)
2225227735Q)
(CKEQ (IQUOTIENT 2225143040Q 64675Q)
26141Q)
(CKEQ (IPLUS -12315334401Q 14120673261Q)
1603336660Q)
(CKEQ (IQUOTIENT -12315334401Q 14120673261Q)
0)
(CKEQ (IDIFFERENCE -10505775255Q 163226Q)
-10506160503Q)
(CKEQ (IPLUS -10505775255Q 163226Q)
-10505612027Q)
(CKEQ (IQUOTIENT -10505775255Q 163226Q)
-46265Q)
(CKEQ (IDIFFERENCE 122271Q 173021Q)
-50530Q)
(CKEQ (IPLUS 122271Q 173021Q)
315312Q)
(CKEQ (IQUOTIENT 122271Q 173021Q)
0)
(CKEQ (IDIFFERENCE 16047667244Q -135273Q)
16050024537Q)
(CKEQ (IPLUS 16047667244Q -135273Q)
16047531751Q)
(CKEQ (IQUOTIENT 16047667244Q -135273Q)
-115146Q)
(CKEQ (IDIFFERENCE -16411515370Q 21036Q)
-16411536426Q)
(CKEQ (IPLUS -16411515370Q 21036Q)
-16411474332Q)
(CKEQ (IQUOTIENT -16411515370Q 21036Q)
-663613Q)
(CKEQ (IDIFFERENCE -11057170232Q -34634Q)
-11057133376Q)
(CKEQ (IPLUS -11057170232Q -34634Q)
-11057225066Q)
(CKEQ (IQUOTIENT -11057170232Q -34634Q)
241472Q)
(CKEQ (IPLUS 14517530732Q -6065652751Q)
6431655761Q)
(CKEQ (IQUOTIENT 14517530732Q -6065652751Q)
-2)
(CKEQ (IDIFFERENCE 137044Q -4034725370Q)
4035064434Q)
(CKEQ (IPLUS 137044Q -4034725370Q)
-4034566324Q)
(CKEQ (IQUOTIENT 137044Q -4034725370Q)
0)
(CKEQ (IDIFFERENCE -14543070643Q -1302005044Q)
-13241063577Q)
(CKEQ (IPLUS -14543070643Q -1302005044Q)
-16045075707Q)
(CKEQ (IQUOTIENT -14543070643Q -1302005044Q)
11Q)
(CKEQ (IDIFFERENCE 14210657030Q 16531056111Q)
-2320177061Q)
(CKEQ (IQUOTIENT 14210657030Q 16531056111Q)
0)
(CKEQ (IDIFFERENCE 550212747Q 1055626226Q)
-305413257Q)
(CKEQ (IPLUS 550212747Q 1055626226Q)
1626041175Q)
(CKEQ (IQUOTIENT 550212747Q 1055626226Q)
0)
(CKEQ (IDIFFERENCE -11131703146Q -11764360741Q)
632455573Q)
(CKEQ (IQUOTIENT -11131703146Q -11764360741Q)
0)
(CKEQ (IDIFFERENCE 1541425342Q 12472345535Q)
-10730720173Q)
(CKEQ (IPLUS 1541425342Q 12472345535Q)
14233773077Q)
(CKEQ (IQUOTIENT 1541425342Q 12472345535Q)
0)
(CKEQ (IDIFFERENCE -15531366430Q -100526Q)
-15531265702Q)
(CKEQ (IPLUS -15531366430Q -100526Q)
-15531467156Q)
(CKEQ (IQUOTIENT -15531366430Q -100526Q)
154211Q)
(CKEQ (IDIFFERENCE -41050Q -326400641Q)
326337571Q)
(CKEQ (IPLUS -41050Q -326400641Q)
-326441711Q)
(CKEQ (IQUOTIENT -41050Q -326400641Q)
0)
(CKEQ (IPLUS 16630056316Q -13347047476Q)
3261006620Q)
(CKEQ (IQUOTIENT 16630056316Q -13347047476Q)
-1)
(CKEQ (IDIFFERENCE -31740Q -6001042052Q)
6001010112Q)
(CKEQ (IPLUS -31740Q -6001042052Q)
-6001074012Q)
(CKEQ (IQUOTIENT -31740Q -6001042052Q)
0)
(CKEQ (IDIFFERENCE -110217Q -12653617250Q)
12653507031Q)
(CKEQ (IPLUS -110217Q -12653617250Q)
-12653727467Q)
(CKEQ (IQUOTIENT -110217Q -12653617250Q)
0)
(CKEQ (IDIFFERENCE 116216Q 2453154032Q)
-2453035614Q)
(CKEQ (IPLUS 116216Q 2453154032Q)
2453272250Q)
(CKEQ (IQUOTIENT 116216Q 2453154032Q)
0)
(CKEQ (IDIFFERENCE 4553332136Q -4142306347Q)
10715640505Q)
(CKEQ (IPLUS 4553332136Q -4142306347Q)
411023567Q)
(CKEQ (IQUOTIENT 4553332136Q -4142306347Q)
-1)
(CKEQ (IPLUS 17161754144Q -3270231756Q)
13671522166Q)
(CKEQ (IQUOTIENT 17161754144Q -3270231756Q)
-4])
(!RANDNUMTEST2
[LAMBDA NIL (* lmm " 5-JAN-82 20:01")
(MTCHECKSTK (CKEQ (IREMAINDER 7372147664Q -161456Q)
64130Q)
(CKEQ (IDIFFERENCE 7372147664Q -161456Q)
7372331342Q)
(CKEQ (IPLUS 7372147664Q -161456Q)
7371766206Q)
(CKEQ (IQUOTIENT 7372147664Q -161456Q)
-41602Q)
(CKEQ (IREMAINDER 17634621231Q -146562Q)
124171Q)
(CKEQ (IDIFFERENCE 17634621231Q -146562Q)
17634770013Q)
(CKEQ (IPLUS 17634621231Q -146562Q)
17634452447Q)
(CKEQ (IQUOTIENT 17634621231Q -146562Q)
-116620Q)
(CKEQ (IREMAINDER -117002Q 11327523020Q)
-117002Q)
(CKEQ (IDIFFERENCE -117002Q 11327523020Q)
-11327642022Q)
(CKEQ (IPLUS -117002Q 11327523020Q)
11327404016Q)
(CKEQ (IQUOTIENT -117002Q 11327523020Q)
0)
(CKEQ (IREMAINDER 7040503561Q 5360767723Q)
1457513636Q)
(CKEQ (IDIFFERENCE 7040503561Q 5360767723Q)
1457513636Q)
(CKEQ (IPLUS 7040503561Q 5360767723Q)
14421473504Q)
(CKEQ (IQUOTIENT 7040503561Q 5360767723Q)
1)
(CKEQ (IREMAINDER 2701423332Q -17633736657Q)
2701423332Q)
(CKEQ (IPLUS 2701423332Q -17633736657Q)
-14732313325Q)
(CKEQ (IQUOTIENT 2701423332Q -17633736657Q)
0)
(CKEQ (IREMAINDER -15075426141Q 53650Q)
-15721Q)
(CKEQ (IDIFFERENCE -15075426141Q 53650Q)
-15075502011Q)
(CKEQ (IPLUS -15075426141Q 53650Q)
-15075352271Q)
(CKEQ (IQUOTIENT -15075426141Q 53650Q)
-231212Q)
(CKEQ (IREMAINDER 11564140373Q 5167Q)
3101Q)
(CKEQ (IDIFFERENCE 11564140373Q 5167Q)
11564133204Q)
(CKEQ (IPLUS 11564140373Q 5167Q)
11564145562Q)
(CKEQ (IQUOTIENT 11564140373Q 5167Q)
1667626Q)
(CKEQ (IREMAINDER -766157106Q 11221047643Q)
-766157106Q)
(CKEQ (IDIFFERENCE -766157106Q 11221047643Q)
-12207226751Q)
(CKEQ (IPLUS -766157106Q 11221047643Q)
10232670535Q)
(CKEQ (IQUOTIENT -766157106Q 11221047643Q)
0)
(CKEQ (IREMAINDER -134743Q -10243Q)
-1342Q)
(CKEQ (IDIFFERENCE -134743Q -10243Q)
-124500Q)
(CKEQ (IPLUS -134743Q -10243Q)
-145206Q)
(CKEQ (IQUOTIENT -134743Q -10243Q)
13Q)
(CKEQ (ITIMES -134743Q -10243Q)
1405105611Q)
(CKEQ (IREMAINDER 156361Q 44021Q)
2276Q)
(CKEQ (IDIFFERENCE 156361Q 44021Q)
112340Q)
(CKEQ (IPLUS 156361Q 44021Q)
222402Q)
(CKEQ (IQUOTIENT 156361Q 44021Q)
3)
(CKEQ (ITIMES 156361Q 44021Q)
7614472001Q)
(CKEQ (IREMAINDER -7606212052Q -12463650767Q)
-7606212052Q)
(CKEQ (IDIFFERENCE -7606212052Q -12463650767Q)
2655436715Q)
(CKEQ (IQUOTIENT -7606212052Q -12463650767Q)
0)
(CKEQ (IREMAINDER -23644Q 2024103014Q)
-23644Q)
(CKEQ (IDIFFERENCE -23644Q 2024103014Q)
-2024126660Q)
(CKEQ (IPLUS -23644Q 2024103014Q)
2024057150Q)
(CKEQ (IQUOTIENT -23644Q 2024103014Q)
0)
(CKEQ (IREMAINDER 142402Q -11771213026Q)
142402Q)
(CKEQ (IDIFFERENCE 142402Q -11771213026Q)
11771355430Q)
(CKEQ (IPLUS 142402Q -11771213026Q)
-11771050424Q)
(CKEQ (IQUOTIENT 142402Q -11771213026Q)
0)
(CKEQ (IREMAINDER 137211Q 123321Q)
13670Q)
(CKEQ (IDIFFERENCE 137211Q 123321Q)
13670Q)
(CKEQ (IPLUS 137211Q 123321Q)
262532Q)
(CKEQ (IQUOTIENT 137211Q 123321Q)
1)
(CKEQ (ITIMES 137211Q 123321Q)
17412061731Q)
(CKEQ (IREMAINDER -203262767Q 163647Q)
-107633Q)
(CKEQ (IDIFFERENCE -203262767Q 163647Q)
-203446636Q)
(CKEQ (IPLUS -203262767Q 163647Q)
-203077120Q)
(CKEQ (IQUOTIENT -203262767Q 163647Q)
-1104Q)
(CKEQ (IREMAINDER -6313474405Q 6752273462Q)
-6313474405Q)
(CKEQ (IDIFFERENCE -6313474405Q 6752273462Q)
-15265770067Q)
(CKEQ (IPLUS -6313474405Q 6752273462Q)
436577055Q)
(CKEQ (IQUOTIENT -6313474405Q 6752273462Q)
0)
(CKEQ (IREMAINDER -14063014353Q 113451Q)
-72715Q)
(CKEQ (IDIFFERENCE -14063014353Q 113451Q)
-14063130024Q)
(CKEQ (IPLUS -14063014353Q 113451Q)
-14062700702Q)
(CKEQ (IQUOTIENT -14063014353Q 113451Q)
-121756Q)
(CKEQ (IREMAINDER 10227145055Q 6462363731Q)
1544561124Q)
(CKEQ (IDIFFERENCE 10227145055Q 6462363731Q)
1544561124Q)
(CKEQ (IPLUS 10227145055Q 6462363731Q)
16711531006Q)
(CKEQ (IQUOTIENT 10227145055Q 6462363731Q)
1)
(CKEQ (IREMAINDER -75324Q 175652Q)
-75324Q)
(CKEQ (IDIFFERENCE -75324Q 175652Q)
-273176Q)
(CKEQ (IPLUS -75324Q 175652Q)
100326Q)
(CKEQ (IQUOTIENT -75324Q 175652Q)
0)
(CKEQ (ITIMES -75324Q 175652Q)
-17057666310Q)
(CKEQ (IREMAINDER 115610Q 11164020356Q)
115610Q)
(CKEQ (IDIFFERENCE 115610Q 11164020356Q)
-11163702546Q)
(CKEQ (IPLUS 115610Q 11164020356Q)
11164136166Q)
(CKEQ (IQUOTIENT 115610Q 11164020356Q)
0)
(CKEQ (IREMAINDER -31121Q 161167Q)
-31121Q)
(CKEQ (IDIFFERENCE -31121Q 161167Q)
-212310Q)
(CKEQ (IPLUS -31121Q 161167Q)
130046Q)
(CKEQ (IQUOTIENT -31121Q 161167Q)
0)
(CKEQ (ITIMES -31121Q 161167Q)
-5440562647Q)
(CKEQ (IREMAINDER -1077046130Q 2302031512Q)
-1077046130Q)
(CKEQ (IDIFFERENCE -1077046130Q 2302031512Q)
-3401077642Q)
(CKEQ (IPLUS -1077046130Q 2302031512Q)
1202763362Q)
(CKEQ (IQUOTIENT -1077046130Q 2302031512Q)
0)
(CKEQ (IREMAINDER 162464Q 5724142525Q)
162464Q)
(CKEQ (IDIFFERENCE 162464Q 5724142525Q)
-5723760041Q)
(CKEQ (IPLUS 162464Q 5724142525Q)
5724325211Q)
(CKEQ (IQUOTIENT 162464Q 5724142525Q)
0)
(CKEQ (IREMAINDER -16247235274Q 2154207235Q)
-1035561416Q)
(CKEQ (IPLUS -16247235274Q 2154207235Q)
-14073026037Q)
(CKEQ (IQUOTIENT -16247235274Q 2154207235Q)
-6)
(CKEQ (IREMAINDER -2773332645Q 145350Q)
-75045Q)
(CKEQ (IDIFFERENCE -2773332645Q 145350Q)
-2773500215Q)
(CKEQ (IPLUS -2773332645Q 145350Q)
-2773165275Q)
(CKEQ (IQUOTIENT -2773332645Q 145350Q)
-17060Q)
(CKEQ (IREMAINDER -30761Q -26031Q)
-2730Q)
(CKEQ (IDIFFERENCE -30761Q -26031Q)
-2730Q)
(CKEQ (IPLUS -30761Q -26031Q)
-57012Q)
(CKEQ (IQUOTIENT -30761Q -26031Q)
1)
(CKEQ (ITIMES -30761Q -26031Q)
1046446211Q)
(CKEQ (IREMAINDER -70373Q -115660Q)
-70373Q)
(CKEQ (IDIFFERENCE -70373Q -115660Q)
25265Q)
(CKEQ (IPLUS -70373Q -115660Q)
-206253Q)
(CKEQ (IQUOTIENT -70373Q -115660Q)
0)
(CKEQ (ITIMES -70373Q -115660Q)
10455322620Q)
(CKEQ (IREMAINDER -161501Q -106613Q)
-52666Q)
(CKEQ (IDIFFERENCE -161501Q -106613Q)
-52666Q)
(CKEQ (IPLUS -161501Q -106613Q)
-270314Q)
(CKEQ (IQUOTIENT -161501Q -106613Q)
1)
(CKEQ (ITIMES -161501Q -106613Q)
17551430513Q)
(CKEQ (IREMAINDER -37733Q 6613741611Q)
-37733Q)
(CKEQ (IDIFFERENCE -37733Q 6613741611Q)
-6614001544Q)
(CKEQ (IPLUS -37733Q 6613741611Q)
6613701656Q)
(CKEQ (IQUOTIENT -37733Q 6613741611Q)
0)
(CKEQ (IREMAINDER 5403313261Q 170515Q)
106045Q)
(CKEQ (IDIFFERENCE 5403313261Q 170515Q)
5403122544Q)
(CKEQ (IPLUS 5403313261Q 170515Q)
5403503776Q)
(CKEQ (IQUOTIENT 5403313261Q 170515Q)
27274Q])
(!RANDNUMTEST3
[LAMBDA NIL (* lmm " 5-JAN-82 20:02")
(MTCHECKSTK (CKEQ (IREMAINDER 7362115002Q 33052Q)
12214Q)
(CKEQ (IDIFFERENCE 7362115002Q 33052Q)
7362061730Q)
(CKEQ (IPLUS 7362115002Q 33052Q)
7362150054Q)
(CKEQ (IQUOTIENT 7362115002Q 33052Q)
215217Q)
(CKEQ (IREMAINDER 156125Q -77040Q)
57065Q)
(CKEQ (IDIFFERENCE 156125Q -77040Q)
255165Q)
(CKEQ (IPLUS 156125Q -77040Q)
57065Q)
(CKEQ (IQUOTIENT 156125Q -77040Q)
-1)
(CKEQ (ITIMES 156125Q -77040Q)
-15443260240Q)
(CKEQ (IREMAINDER 17144576471Q 63524Q)
36051Q)
(CKEQ (IDIFFERENCE 17144576471Q 63524Q)
17144512745Q)
(CKEQ (IPLUS 17144576471Q 63524Q)
17144662215Q)
(CKEQ (IQUOTIENT 17144576471Q 63524Q)
226464Q)
(CKEQ (IREMAINDER -1004475702Q -3747655621Q)
-1004475702Q)
(CKEQ (IDIFFERENCE -1004475702Q -3747655621Q)
2743157717Q)
(CKEQ (IPLUS -1004475702Q -3747655621Q)
-4754353523Q)
(CKEQ (IQUOTIENT -1004475702Q -3747655621Q)
0)
(CKEQ (IREMAINDER 7154Q 74266Q)
7154Q)
(CKEQ (IDIFFERENCE 7154Q 74266Q)
-65112Q)
(CKEQ (IPLUS 7154Q 74266Q)
103442Q)
(CKEQ (IQUOTIENT 7154Q 74266Q)
0)
(CKEQ (ITIMES 7154Q 74266Q)
663160310Q)
(CKEQ (IREMAINDER 14551535630Q -16006147276Q)
14551535630Q)
(CKEQ (IPLUS 14551535630Q -16006147276Q)
-1234411446Q)
(CKEQ (IQUOTIENT 14551535630Q -16006147276Q)
0)
(CKEQ (IREMAINDER -7700724341Q -13323635271Q)
-7700724341Q)
(CKEQ (IDIFFERENCE -7700724341Q -13323635271Q)
3422710730Q)
(CKEQ (IQUOTIENT -7700724341Q -13323635271Q)
0)
(CKEQ (IREMAINDER -130016Q -37545Q)
-30504Q)
(CKEQ (IDIFFERENCE -130016Q -37545Q)
-70251Q)
(CKEQ (IPLUS -130016Q -37545Q)
-167563Q)
(CKEQ (IQUOTIENT -130016Q -37545Q)
2)
(CKEQ (ITIMES -130016Q -37545Q)
5346163606Q)
(CKEQ (IREMAINDER 145065Q 142234Q)
2631Q)
(CKEQ (IDIFFERENCE 145065Q 142234Q)
2631Q)
(CKEQ (IPLUS 145065Q 142234Q)
307321Q)
(CKEQ (IQUOTIENT 145065Q 142234Q)
1)
(CKEQ (IREMAINDER -114603Q 54774426Q)
-114603Q)
(CKEQ (IDIFFERENCE -114603Q 54774426Q)
-55111231Q)
(CKEQ (IPLUS -114603Q 54774426Q)
54657623Q)
(CKEQ (IQUOTIENT -114603Q 54774426Q)
0)
(CKEQ (IREMAINDER 12673322761Q -11447432721Q)
1223670040Q)
(CKEQ (IPLUS 12673322761Q -11447432721Q)
1223670040Q)
(CKEQ (IQUOTIENT 12673322761Q -11447432721Q)
-1)
(CKEQ (IREMAINDER -173542Q -65615Q)
-20110Q)
(CKEQ (IDIFFERENCE -173542Q -65615Q)
-105725Q)
(CKEQ (IPLUS -173542Q -65615Q)
-261357Q)
(CKEQ (IQUOTIENT -173542Q -65615Q)
2)
(CKEQ (ITIMES -173542Q -65615Q)
14773433372Q)
(CKEQ (IREMAINDER 104500Q 12532705726Q)
104500Q)
(CKEQ (IDIFFERENCE 104500Q 12532705726Q)
-12532601226Q)
(CKEQ (IPLUS 104500Q 12532705726Q)
12533012426Q)
(CKEQ (IQUOTIENT 104500Q 12532705726Q)
0)
(CKEQ (IREMAINDER 70447Q -45711Q)
22536Q)
(CKEQ (IDIFFERENCE 70447Q -45711Q)
136360Q)
(CKEQ (IPLUS 70447Q -45711Q)
22536Q)
(CKEQ (IQUOTIENT 70447Q -45711Q)
-1)
(CKEQ (ITIMES 70447Q -45711Q)
-4137642237Q)
(CKEQ (IREMAINDER 157014Q 6410506327Q)
157014Q)
(CKEQ (IDIFFERENCE 157014Q 6410506327Q)
-6410327313Q)
(CKEQ (IPLUS 157014Q 6410506327Q)
6410665343Q)
(CKEQ (IQUOTIENT 157014Q 6410506327Q)
0)
(CKEQ (IREMAINDER -5531662541Q 33210Q)
-22461Q)
(CKEQ (IDIFFERENCE -5531662541Q 33210Q)
-5531715751Q)
(CKEQ (IPLUS -5531662541Q 33210Q)
-5531627331Q)
(CKEQ (IQUOTIENT -5531662541Q 33210Q)
-152446Q)
(CKEQ (IREMAINDER -757266226Q -155715Q)
-122057Q)
(CKEQ (IDIFFERENCE -757266226Q -155715Q)
-757110311Q)
(CKEQ (IPLUS -757266226Q -155715Q)
-757444143Q)
(CKEQ (IQUOTIENT -757266226Q -155715Q)
4403Q)
(CKEQ (IREMAINDER 12561101665Q 6715622627Q)
3643257036Q)
(CKEQ (IDIFFERENCE 12561101665Q 6715622627Q)
3643257036Q)
(CKEQ (IQUOTIENT 12561101665Q 6715622627Q)
1)
(CKEQ (IREMAINDER 36575Q -146507Q)
36575Q)
(CKEQ (IDIFFERENCE 36575Q -146507Q)
205304Q)
(CKEQ (IPLUS 36575Q -146507Q)
-107712Q)
(CKEQ (IQUOTIENT 36575Q -146507Q)
0)
(CKEQ (ITIMES 36575Q -146507Q)
-6123423253Q)
(CKEQ (IREMAINDER 43155Q 125453Q)
43155Q)
(CKEQ (IDIFFERENCE 43155Q 125453Q)
-62276Q)
(CKEQ (IPLUS 43155Q 125453Q)
170630Q)
(CKEQ (IQUOTIENT 43155Q 125453Q)
0)
(CKEQ (ITIMES 43155Q 125453Q)
5705521517Q)
(CKEQ (IREMAINDER -13215101247Q 3476554023Q)
-320775156Q)
(CKEQ (IDIFFERENCE -13215101247Q 3476554023Q)
-16713655272Q)
(CKEQ (IPLUS -13215101247Q 3476554023Q)
-7516325224Q)
(CKEQ (IQUOTIENT -13215101247Q 3476554023Q)
-3)
(CKEQ (IREMAINDER 163010Q 13235743316Q)
163010Q)
(CKEQ (IDIFFERENCE 163010Q 13235743316Q)
-13235560306Q)
(CKEQ (IPLUS 163010Q 13235743316Q)
13236126326Q)
(CKEQ (IQUOTIENT 163010Q 13235743316Q)
0)
(CKEQ (IREMAINDER 13003244144Q -173327Q)
140535Q)
(CKEQ (IDIFFERENCE 13003244144Q -173327Q)
13003437473Q)
(CKEQ (IPLUS 13003244144Q -173327Q)
13003050615Q)
(CKEQ (IQUOTIENT 13003244144Q -173327Q)
-55521Q)
(CKEQ (IREMAINDER -46215Q 12704061362Q)
-46215Q)
(CKEQ (IDIFFERENCE -46215Q 12704061362Q)
-12704127577Q)
(CKEQ (IPLUS -46215Q 12704061362Q)
12704013145Q)
(CKEQ (IQUOTIENT -46215Q 12704061362Q)
0)
(CKEQ (IREMAINDER -2241Q -4264546202Q)
-2241Q)
(CKEQ (IDIFFERENCE -2241Q -4264546202Q)
4264543741Q)
(CKEQ (IPLUS -2241Q -4264546202Q)
-4264550443Q)
(CKEQ (IQUOTIENT -2241Q -4264546202Q)
0)
(CKEQ (IREMAINDER -20207Q 17333457066Q)
-20207Q)
(CKEQ (IDIFFERENCE -20207Q 17333457066Q)
-17333477275Q)
(CKEQ (IPLUS -20207Q 17333457066Q)
17333436657Q)
(CKEQ (IQUOTIENT -20207Q 17333457066Q)
0)
(CKEQ (IREMAINDER -6472607512Q 3122034574Q)
-226516122Q)
(CKEQ (IDIFFERENCE -6472607512Q 3122034574Q)
-11614644306Q)
(CKEQ (IPLUS -6472607512Q 3122034574Q)
-3350552716Q)
(CKEQ (IQUOTIENT -6472607512Q 3122034574Q)
-2)
(CKEQ (IREMAINDER -157453Q 15475670672Q)
-157453Q)
(CKEQ (IDIFFERENCE -157453Q 15475670672Q)
-15476050345Q)
(CKEQ (IPLUS -157453Q 15475670672Q)
15475511217Q)
(CKEQ (IQUOTIENT -157453Q 15475670672Q)
0)
(CKEQ (IREMAINDER -102550Q 5520722570Q)
-102550Q)
(CKEQ (IDIFFERENCE -102550Q 5520722570Q)
-5521025340Q)
(CKEQ (IPLUS -102550Q 5520722570Q)
5520620020Q)
(CKEQ (IQUOTIENT -102550Q 5520722570Q)
0)
(CKEQ (IREMAINDER 115632Q -13773705461Q)
115632Q)
(CKEQ (IDIFFERENCE 115632Q -13773705461Q)
13774023313Q)
(CKEQ (IPLUS 115632Q -13773705461Q)
-13773567627Q)
(CKEQ (IQUOTIENT 115632Q -13773705461Q)
0])
(!RANDNUMTEST4
[LAMBDA NIL (* lmm " 5-JAN-82 20:03")
(MTCHECKSTK (CKEQ (IREMAINDER 46416Q 73661Q)
46416Q)
(CKEQ (IDIFFERENCE 46416Q 73661Q)
-25243Q)
(CKEQ (IPLUS 46416Q 73661Q)
142277Q)
(CKEQ (IQUOTIENT 46416Q 73661Q)
0)
(CKEQ (ITIMES 46416Q 73661Q)
4401544256Q)
(CKEQ (IREMAINDER -165357Q -15133072242Q)
-165357Q)
(CKEQ (IDIFFERENCE -165357Q -15133072242Q)
15132704663Q)
(CKEQ (IPLUS -165357Q -15133072242Q)
-15133257621Q)
(CKEQ (IQUOTIENT -165357Q -15133072242Q)
0)
(CKEQ (IREMAINDER -4052Q 622430174Q)
-4052Q)
(CKEQ (IDIFFERENCE -4052Q 622430174Q)
-622434246Q)
(CKEQ (IPLUS -4052Q 622430174Q)
622424122Q)
(CKEQ (IQUOTIENT -4052Q 622430174Q)
0)
(CKEQ (IREMAINDER -10566613407Q 6004741132Q)
-2561652255Q)
(CKEQ (IDIFFERENCE -10566613407Q 6004741132Q)
-16573554541Q)
(CKEQ (IPLUS -10566613407Q 6004741132Q)
-2561652255Q)
(CKEQ (IQUOTIENT -10566613407Q 6004741132Q)
-1)
(CKEQ (IREMAINDER -2 -4)
-2)
(CKEQ (IDIFFERENCE -2 -4)
2)
(CKEQ (IPLUS -2 -4)
-6)
(CKEQ (IQUOTIENT -2 -4)
0)
(CKEQ (ITIMES -2 -4)
10Q)
(CKEQ (IREMAINDER 162662613Q -6300165562Q)
162662613Q)
(CKEQ (IDIFFERENCE 162662613Q -6300165562Q)
6463050375Q)
(CKEQ (IPLUS 162662613Q -6300165562Q)
-6115302747Q)
(CKEQ (IQUOTIENT 162662613Q -6300165562Q)
0)
(CKEQ (IREMAINDER -2 3)
-2)
(CKEQ (IDIFFERENCE -2 3)
-5)
(CKEQ (IPLUS -2 3)
1)
(CKEQ (IQUOTIENT -2 3)
0)
(CKEQ (ITIMES -2 3)
-6)
(CKEQ (IREMAINDER -16047Q -171315Q)
-16047Q)
(CKEQ (IDIFFERENCE -16047Q -171315Q)
153246Q)
(CKEQ (IPLUS -16047Q -171315Q)
-207364Q)
(CKEQ (IQUOTIENT -16047Q -171315Q)
0)
(CKEQ (ITIMES -16047Q -171315Q)
3254664473Q)
(CKEQ (IREMAINDER -4510035224Q 0)
0)
(CKEQ (IDIFFERENCE -4510035224Q 0)
-4510035224Q)
(CKEQ (IPLUS -4510035224Q 0)
-4510035224Q)
(CKEQ (ITIMES -4510035224Q 0)
0)
(CKEQ (IREMAINDER 4 167331711Q)
4)
(CKEQ (IDIFFERENCE 4 167331711Q)
-167331705Q)
(CKEQ (IPLUS 4 167331711Q)
167331715Q)
(CKEQ (IQUOTIENT 4 167331711Q)
0)
(CKEQ (ITIMES 4 167331711Q)
735547444Q)
(CKEQ (IREMAINDER 10175626173Q -15244050032Q)
10175626173Q)
(CKEQ (IPLUS 10175626173Q -15244050032Q)
-5046221637Q)
(CKEQ (IQUOTIENT 10175626173Q -15244050032Q)
0)
(CKEQ (IREMAINDER -1771422055Q 16116655424Q)
-1771422055Q)
(CKEQ (IPLUS -1771422055Q 16116655424Q)
14125233347Q)
(CKEQ (IQUOTIENT -1771422055Q 16116655424Q)
0)
(CKEQ (IREMAINDER -5 -2)
-1)
(CKEQ (IDIFFERENCE -5 -2)
-3)
(CKEQ (IPLUS -5 -2)
-7)
(CKEQ (IQUOTIENT -5 -2)
2)
(CKEQ (ITIMES -5 -2)
12Q)
(CKEQ (IREMAINDER -13001Q -125515Q)
-13001Q)
(CKEQ (IDIFFERENCE -13001Q -125515Q)
112514Q)
(CKEQ (IPLUS -13001Q -125515Q)
-140516Q)
(CKEQ (IQUOTIENT -13001Q -125515Q)
0)
(CKEQ (ITIMES -13001Q -125515Q)
1656244515Q)
(CKEQ (IREMAINDER -166401Q -7027Q)
-5621Q)
(CKEQ (IDIFFERENCE -166401Q -7027Q)
-157352Q)
(CKEQ (IPLUS -166401Q -7027Q)
-175430Q)
(CKEQ (IQUOTIENT -166401Q -7027Q)
20Q)
(CKEQ (ITIMES -166401Q -7027Q)
1502654427Q)
(CKEQ (IREMAINDER 4257756512Q -127717Q)
56223Q)
(CKEQ (IDIFFERENCE 4257756512Q -127717Q)
4260106431Q)
(CKEQ (IPLUS 4257756512Q -127717Q)
4257626573Q)
(CKEQ (IQUOTIENT 4257756512Q -127717Q)
-31231Q)
(CKEQ (IREMAINDER 4 -5)
4)
(CKEQ (IDIFFERENCE 4 -5)
11Q)
(CKEQ (IPLUS 4 -5)
-1)
(CKEQ (IQUOTIENT 4 -5)
0)
(CKEQ (ITIMES 4 -5)
-24Q)
(CKEQ (IREMAINDER 146317Q 5230002636Q)
146317Q)
(CKEQ (IDIFFERENCE 146317Q 5230002636Q)
-5227634317Q)
(CKEQ (IPLUS 146317Q 5230002636Q)
5230151155Q)
(CKEQ (IQUOTIENT 146317Q 5230002636Q)
0)
(CKEQ (IREMAINDER 10650Q -66166Q)
10650Q)
(CKEQ (IDIFFERENCE 10650Q -66166Q)
77036Q)
(CKEQ (IPLUS 10650Q -66166Q)
-55316Q)
(CKEQ (IQUOTIENT 10650Q -66166Q)
0)
(CKEQ (ITIMES 10650Q -66166Q)
-736601560Q)
(CKEQ (IREMAINDER -5 -32766Q)
-5)
(CKEQ (IDIFFERENCE -5 -32766Q)
32761Q)
(CKEQ (IPLUS -5 -32766Q)
-32773Q)
(CKEQ (IQUOTIENT -5 -32766Q)
0)
(CKEQ (ITIMES -5 -32766Q)
206716Q)
(CKEQ (IREMAINDER 113703Q -2733011560Q)
113703Q)
(CKEQ (IDIFFERENCE 113703Q -2733011560Q)
2733125463Q)
(CKEQ (IPLUS 113703Q -2733011560Q)
-2732675655Q)
(CKEQ (IQUOTIENT 113703Q -2733011560Q)
0)
(CKEQ (IREMAINDER 1124452466Q 0)
0)
(CKEQ (IDIFFERENCE 1124452466Q 0)
1124452466Q)
(CKEQ (IPLUS 1124452466Q 0)
1124452466Q)
(CKEQ (ITIMES 1124452466Q 0)
0)
(CKEQ (IREMAINDER -4 0)
0)
(CKEQ (IDIFFERENCE -4 0)
-4)
(CKEQ (IPLUS -4 0)
-4)
(CKEQ (ITIMES -4 0)
0)
(CKEQ (IREMAINDER 1 -5061322610Q)
1)
(CKEQ (IDIFFERENCE 1 -5061322610Q)
5061322611Q)
(CKEQ (IPLUS 1 -5061322610Q)
-5061322607Q)
(CKEQ (IQUOTIENT 1 -5061322610Q)
0)
(CKEQ (ITIMES 1 -5061322610Q)
-5061322610Q)
(CKEQ (IREMAINDER 0 113566Q)
0)
(CKEQ (IDIFFERENCE 0 113566Q)
-113566Q)
(CKEQ (IPLUS 0 113566Q)
113566Q)
(CKEQ (IQUOTIENT 0 113566Q)
0)
(CKEQ (ITIMES 0 113566Q)
0)
(CKEQ (IREMAINDER -5 3)
-2)
(CKEQ (IDIFFERENCE -5 3)
-10Q)
(CKEQ (IPLUS -5 3)
-2)
(CKEQ (IQUOTIENT -5 3)
-1)
(CKEQ (ITIMES -5 3)
-17Q)
(CKEQ (IREMAINDER 5 -145277Q)
5)
(CKEQ (IDIFFERENCE 5 -145277Q)
145304Q)
(CKEQ (IPLUS 5 -145277Q)
-145272Q)
(CKEQ (IQUOTIENT 5 -145277Q)
0)
(CKEQ (ITIMES 5 -145277Q)
-772673Q)
(CKEQ (IREMAINDER 3216Q -7537760666Q)
3216Q)
(CKEQ (IDIFFERENCE 3216Q -7537760666Q)
7537764104Q)
(CKEQ (IPLUS 3216Q -7537760666Q)
-7537755450Q)
(CKEQ (IQUOTIENT 3216Q -7537760666Q)
0)
(CKEQ (IREMAINDER 4601134451Q -154036Q)
131071Q)
(CKEQ (IDIFFERENCE 4601134451Q -154036Q)
4601310507Q)
(CKEQ (IPLUS 4601134451Q -154036Q)
4600760413Q)
(CKEQ (IQUOTIENT 4601134451Q -154036Q)
-26410Q)
(CKEQ (IREMAINDER 0 2)
0)
(CKEQ (IDIFFERENCE 0 2)
-2)
(CKEQ (IPLUS 0 2)
2)
(CKEQ (IQUOTIENT 0 2)
0)
(CKEQ (ITIMES 0 2)
0])
(!MIXNUMTEST
[LAMBDA NIL (* lmm " 5-JAN-82 19:22")
(!RANDNUMTEST)
(PROGN (CKEQ (DIFFERENCE -200000Q -200000Q)
0)
(CKEQ (TIMES -200000Q -200000Q)
0)
(CKEQ (PLUS -200000Q -200000Q)
-400000Q)
(CKEQ (QUOTIENT -200000Q -200000Q)
1)
(CKEQ (DIFFERENCE -200000Q 177777Q)
-377777Q)
(CKEQ (TIMES -200000Q 177777Q)
200000Q)
(CKEQ (PLUS -200000Q 177777Q)
-1)
(CKEQ (QUOTIENT -200000Q 177777Q)
-1)
(CKEQ (DIFFERENCE -200000Q 0.0)
-65536.0)
(CKEQ (TIMES -200000Q 0.0)
0.0)
(CKEQ (PLUS -200000Q 0.0)
-65536.0)
(CKEQ (DIFFERENCE -200000Q 0)
-200000Q)
(CKEQ (TIMES -200000Q 0)
0)
(CKEQ (PLUS -200000Q 0)
-200000Q)
(CKEQ (DIFFERENCE -200000Q 3)
-200003Q)
(CKEQ (TIMES -200000Q 3)
-600000Q)
(CKEQ (PLUS -200000Q 3)
-177775Q)
(CKEQ (QUOTIENT -200000Q 3)
-52525Q)
(CKEQ (DIFFERENCE -200000Q -1.0)
-65535.0)
(CKEQ (TIMES -200000Q -1.0)
65536.0)
(CKEQ (PLUS -200000Q -1.0)
-65537.0)
(CKEQ (QUOTIENT -200000Q -1.0)
65536.0)
(CKEQ (DIFFERENCE -200000Q -1)
-177777Q)
(CKEQ (TIMES -200000Q -1)
200000Q)
(CKEQ (PLUS -200000Q -1)
-200001Q)
(CKEQ (QUOTIENT -200000Q -1)
200000Q)
(CKEQ (DIFFERENCE -200000Q 2)
-200002Q)
(CKEQ (TIMES -200000Q 2)
-400000Q)
(CKEQ (PLUS -200000Q 2)
-177776Q)
(CKEQ (QUOTIENT -200000Q 2)
-100000Q)
(CKEQ (DIFFERENCE -200000Q 1.0)
-65537.0)
(CKEQ (TIMES -200000Q 1.0)
-65536.0)
(CKEQ (PLUS -200000Q 1.0)
-65535.0)
(CKEQ (QUOTIENT -200000Q 1.0)
-65536.0)
(CKEQ (DIFFERENCE -200000Q 1)
-200001Q)
(CKEQ (TIMES -200000Q 1)
-200000Q)
(CKEQ (PLUS -200000Q 1)
-177777Q)
(CKEQ (QUOTIENT -200000Q 1)
-200000Q)
(CKEQ (DIFFERENCE 177777Q -200000Q)
377777Q)
(CKEQ (TIMES 177777Q -200000Q)
200000Q)
(CKEQ (PLUS 177777Q -200000Q)
-1)
(CKEQ (QUOTIENT 177777Q -200000Q)
0)
(CKEQ (DIFFERENCE 177777Q 177777Q)
0)
(CKEQ (TIMES 177777Q 177777Q)
-377777Q)
(CKEQ (PLUS 177777Q 177777Q)
377776Q)
(CKEQ (QUOTIENT 177777Q 177777Q)
1)
(CKEQ (DIFFERENCE 177777Q 0.0)
65535.0)
(CKEQ (TIMES 177777Q 0.0)
0.0)
(CKEQ (PLUS 177777Q 0.0)
65535.0)
(CKEQ (DIFFERENCE 177777Q 0)
177777Q)
(CKEQ (TIMES 177777Q 0)
0)
(CKEQ (PLUS 177777Q 0)
177777Q)
(CKEQ (DIFFERENCE 177777Q 3)
177774Q)
(CKEQ (TIMES 177777Q 3)
577775Q)
(CKEQ (PLUS 177777Q 3)
200002Q)
(CKEQ (QUOTIENT 177777Q 3)
52525Q)
(CKEQ (DIFFERENCE 177777Q -1.0)
65536.0)
(CKEQ (TIMES 177777Q -1.0)
-65535.0)
(CKEQ (PLUS 177777Q -1.0)
65534.0)
(CKEQ (QUOTIENT 177777Q -1.0)
-65535.0)
(CKEQ (DIFFERENCE 177777Q -1)
200000Q)
(CKEQ (TIMES 177777Q -1)
-177777Q)
(CKEQ (PLUS 177777Q -1)
177776Q)
(CKEQ (QUOTIENT 177777Q -1)
-177777Q)
(CKEQ (DIFFERENCE 177777Q 2)
177775Q)
(CKEQ (TIMES 177777Q 2)
377776Q)
(CKEQ (PLUS 177777Q 2)
200001Q)
(CKEQ (QUOTIENT 177777Q 2)
77777Q)
(CKEQ (DIFFERENCE 177777Q 1.0)
65534.0)
(CKEQ (TIMES 177777Q 1.0)
65535.0)
(CKEQ (PLUS 177777Q 1.0)
65536.0)
(CKEQ (QUOTIENT 177777Q 1.0)
65535.0)
(CKEQ (DIFFERENCE 177777Q 1)
177776Q)
(CKEQ (TIMES 177777Q 1)
177777Q)
(CKEQ (PLUS 177777Q 1)
200000Q)
(CKEQ (QUOTIENT 177777Q 1)
177777Q)
(CKEQ (DIFFERENCE 0.0 -200000Q)
65536.0)
(CKEQ (TIMES 0.0 -200000Q)
0.0)
(CKEQ (PLUS 0.0 -200000Q)
-65536.0)
(CKEQ (QUOTIENT 0.0 -200000Q)
0.0)
(CKEQ (DIFFERENCE 0.0 177777Q)
-65535.0)
(CKEQ (TIMES 0.0 177777Q)
0.0)
(CKEQ (PLUS 0.0 177777Q)
65535.0)
(CKEQ (QUOTIENT 0.0 177777Q)
0.0)
(CKEQ (DIFFERENCE 0.0 0.0)
0.0)
(CKEQ (TIMES 0.0 0.0)
0.0)
(CKEQ (PLUS 0.0 0.0)
0.0)
(CKEQ (DIFFERENCE 0.0 0)
0.0)
(CKEQ (TIMES 0.0 0)
0.0)
(CKEQ (PLUS 0.0 0)
0.0)
(CKEQ (DIFFERENCE 0.0 3)
-3.0)
(CKEQ (TIMES 0.0 3)
0.0)
(CKEQ (PLUS 0.0 3)
3.0)
(CKEQ (QUOTIENT 0.0 3)
0.0)
(CKEQ (DIFFERENCE 0.0 -1.0)
1.0)
(CKEQ (TIMES 0.0 -1.0)
0.0)
(CKEQ (PLUS 0.0 -1.0)
-1.0)
(CKEQ (QUOTIENT 0.0 -1.0)
0.0)
(CKEQ (DIFFERENCE 0.0 -1)
1.0)
(CKEQ (TIMES 0.0 -1)
0.0)
(CKEQ (PLUS 0.0 -1)
-1.0)
(CKEQ (QUOTIENT 0.0 -1)
0.0)
(CKEQ (DIFFERENCE 0.0 2)
-2.0)
(CKEQ (TIMES 0.0 2)
0.0)
(CKEQ (PLUS 0.0 2)
2.0)
(CKEQ (QUOTIENT 0.0 2)
0.0)
(CKEQ (DIFFERENCE 0.0 1.0)
-1.0)
(CKEQ (TIMES 0.0 1.0)
0.0)
(CKEQ (PLUS 0.0 1.0)
1.0)
(CKEQ (QUOTIENT 0.0 1.0)
0.0)
(CKEQ (DIFFERENCE 0.0 1)
-1.0)
(CKEQ (TIMES 0.0 1)
0.0)
(CKEQ (PLUS 0.0 1)
1.0)
(CKEQ (QUOTIENT 0.0 1)
0.0)
(CKEQ (DIFFERENCE 0 -200000Q)
200000Q)
(CKEQ (TIMES 0 -200000Q)
0)
(CKEQ (PLUS 0 -200000Q)
-200000Q)
(CKEQ (QUOTIENT 0 -200000Q)
0)
(CKEQ (DIFFERENCE 0 177777Q)
-177777Q)
(CKEQ (TIMES 0 177777Q)
0)
(CKEQ (PLUS 0 177777Q)
177777Q)
(CKEQ (QUOTIENT 0 177777Q)
0)
(CKEQ (DIFFERENCE 0 0.0)
0.0)
(CKEQ (TIMES 0 0.0)
0.0)
(CKEQ (PLUS 0 0.0)
0.0)
(CKEQ (DIFFERENCE 0 0)
0)
(CKEQ (TIMES 0 0)
0)
(CKEQ (PLUS 0 0)
0)
(CKEQ (DIFFERENCE 0 3)
-3)
(CKEQ (TIMES 0 3)
0)
(CKEQ (PLUS 0 3)
3)
(CKEQ (QUOTIENT 0 3)
0)
(CKEQ (DIFFERENCE 0 -1.0)
1.0)
(CKEQ (TIMES 0 -1.0)
0.0)
(CKEQ (PLUS 0 -1.0)
-1.0)
(CKEQ (QUOTIENT 0 -1.0)
0.0)
(CKEQ (DIFFERENCE 0 -1)
1)
(CKEQ (TIMES 0 -1)
0)
(CKEQ (PLUS 0 -1)
-1)
(CKEQ (QUOTIENT 0 -1)
0)
(CKEQ (DIFFERENCE 0 2)
-2)
(CKEQ (TIMES 0 2)
0)
(CKEQ (PLUS 0 2)
2)
(CKEQ (QUOTIENT 0 2)
0)
(CKEQ (DIFFERENCE 0 1.0)
-1.0)
(CKEQ (TIMES 0 1.0)
0.0)
(CKEQ (PLUS 0 1.0)
1.0)
(CKEQ (QUOTIENT 0 1.0)
0.0)
(CKEQ (DIFFERENCE 0 1)
-1)
(CKEQ (TIMES 0 1)
0)
(CKEQ (PLUS 0 1)
1)
(CKEQ (QUOTIENT 0 1)
0)
(CKEQ (DIFFERENCE 3 -200000Q)
200003Q)
(CKEQ (TIMES 3 -200000Q)
-600000Q)
(CKEQ (PLUS 3 -200000Q)
-177775Q)
(CKEQ (QUOTIENT 3 -200000Q)
0)
(CKEQ (DIFFERENCE 3 177777Q)
-177774Q)
(CKEQ (TIMES 3 177777Q)
577775Q)
(CKEQ (PLUS 3 177777Q)
200002Q)
(CKEQ (QUOTIENT 3 177777Q)
0)
(CKEQ (DIFFERENCE 3 0.0)
3.0)
(CKEQ (TIMES 3 0.0)
0.0)
(CKEQ (PLUS 3 0.0)
3.0)
(CKEQ (DIFFERENCE 3 0)
3)
(CKEQ (TIMES 3 0)
0)
(CKEQ (PLUS 3 0)
3)
(CKEQ (DIFFERENCE 3 3)
0)
(CKEQ (TIMES 3 3)
11Q)
(CKEQ (PLUS 3 3)
6)
(CKEQ (QUOTIENT 3 3)
1)
(CKEQ (DIFFERENCE 3 -1.0)
4.0)
(CKEQ (TIMES 3 -1.0)
-3.0)
(CKEQ (PLUS 3 -1.0)
2.0)
(CKEQ (QUOTIENT 3 -1.0)
-3.0)
(CKEQ (DIFFERENCE 3 -1)
4)
(CKEQ (TIMES 3 -1)
-3)
(CKEQ (PLUS 3 -1)
2)
(CKEQ (QUOTIENT 3 -1)
-3)
(CKEQ (DIFFERENCE 3 2)
1)
(CKEQ (TIMES 3 2)
6)
(CKEQ (PLUS 3 2)
5)
(CKEQ (QUOTIENT 3 2)
1)
(CKEQ (DIFFERENCE 3 1.0)
2.0)
(CKEQ (TIMES 3 1.0)
3.0)
(CKEQ (PLUS 3 1.0)
4.0)
(CKEQ (QUOTIENT 3 1.0)
3.0)
(CKEQ (DIFFERENCE 3 1)
2)
(CKEQ (TIMES 3 1)
3)
(CKEQ (PLUS 3 1)
4)
(CKEQ (QUOTIENT 3 1)
3)
(CKEQ (DIFFERENCE -1.0 -200000Q)
65535.0)
(CKEQ (TIMES -1.0 -200000Q)
65536.0)
(CKEQ (PLUS -1.0 -200000Q)
-65537.0)
(CKEQ (QUOTIENT -1.0 -200000Q)
.00001525879)
(CKEQ (DIFFERENCE -1.0 177777Q)
-65536.0)
(CKEQ (TIMES -1.0 177777Q)
-65535.0)
(CKEQ (PLUS -1.0 177777Q)
65534.0)
(CKEQ (QUOTIENT -1.0 177777Q)
-.00001525902)
(CKEQ (DIFFERENCE -1.0 0.0)
-1.0)
(CKEQ (TIMES -1.0 0.0)
0.0)
(CKEQ (PLUS -1.0 0.0)
-1.0)
(CKEQ (DIFFERENCE -1.0 0)
-1.0)
(CKEQ (TIMES -1.0 0)
0.0)
(CKEQ (PLUS -1.0 0)
-1.0)
(CKEQ (DIFFERENCE -1.0 3)
-4.0)
(CKEQ (TIMES -1.0 3)
-3.0)
(CKEQ (PLUS -1.0 3)
2.0)
(CKEQ (QUOTIENT -1.0 3)
-.3333333)
(CKEQ (DIFFERENCE -1.0 -1.0)
0.0)
(CKEQ (TIMES -1.0 -1.0)
1.0)
(CKEQ (PLUS -1.0 -1.0)
-2.0)
(CKEQ (QUOTIENT -1.0 -1.0)
1.0)
(CKEQ (DIFFERENCE -1.0 -1)
0.0)
(CKEQ (TIMES -1.0 -1)
1.0)
(CKEQ (PLUS -1.0 -1)
-2.0)
(CKEQ (QUOTIENT -1.0 -1)
1.0)
(CKEQ (DIFFERENCE -1.0 2)
-3.0)
(CKEQ (TIMES -1.0 2)
-2.0)
(CKEQ (PLUS -1.0 2)
1.0)
(CKEQ (QUOTIENT -1.0 2)
-.5)
(CKEQ (DIFFERENCE -1.0 1.0)
-2.0)
(CKEQ (TIMES -1.0 1.0)
-1.0)
(CKEQ (PLUS -1.0 1.0)
0.0)
(CKEQ (QUOTIENT -1.0 1.0)
-1.0)
(CKEQ (DIFFERENCE -1.0 1)
-2.0)
(CKEQ (TIMES -1.0 1)
-1.0)
(CKEQ (PLUS -1.0 1)
0.0)
(CKEQ (QUOTIENT -1.0 1)
-1.0)
(CKEQ (DIFFERENCE -1 -200000Q)
177777Q)
(CKEQ (TIMES -1 -200000Q)
200000Q)
(CKEQ (PLUS -1 -200000Q)
-200001Q)
(CKEQ (QUOTIENT -1 -200000Q)
0)
(CKEQ (DIFFERENCE -1 177777Q)
-200000Q)
(CKEQ (TIMES -1 177777Q)
-177777Q)
(CKEQ (PLUS -1 177777Q)
177776Q)
(CKEQ (QUOTIENT -1 177777Q)
0)
(CKEQ (DIFFERENCE -1 0.0)
-1.0)
(CKEQ (TIMES -1 0.0)
0.0)
(CKEQ (PLUS -1 0.0)
-1.0)
(CKEQ (DIFFERENCE -1 0)
-1)
(CKEQ (TIMES -1 0)
0)
(CKEQ (PLUS -1 0)
-1)
(CKEQ (DIFFERENCE -1 3)
-4)
(CKEQ (TIMES -1 3)
-3)
(CKEQ (PLUS -1 3)
2)
(CKEQ (QUOTIENT -1 3)
0)
(CKEQ (DIFFERENCE -1 -1.0)
0.0)
(CKEQ (TIMES -1 -1.0)
1.0)
(CKEQ (PLUS -1 -1.0)
-2.0)
(CKEQ (QUOTIENT -1 -1.0)
1.0)
(CKEQ (DIFFERENCE -1 -1)
0)
(CKEQ (TIMES -1 -1)
1)
(CKEQ (PLUS -1 -1)
-2)
(CKEQ (QUOTIENT -1 -1)
1)
(CKEQ (DIFFERENCE -1 2)
-3)
(CKEQ (TIMES -1 2)
-2)
(CKEQ (PLUS -1 2)
1)
(CKEQ (QUOTIENT -1 2)
0)
(CKEQ (DIFFERENCE -1 1.0)
-2.0)
(CKEQ (TIMES -1 1.0)
-1.0)
(CKEQ (PLUS -1 1.0)
0.0)
(CKEQ (QUOTIENT -1 1.0)
-1.0)
(CKEQ (DIFFERENCE -1 1)
-2)
(CKEQ (TIMES -1 1)
-1)
(CKEQ (PLUS -1 1)
0)
(CKEQ (QUOTIENT -1 1)
-1)
(CKEQ (DIFFERENCE 2 -200000Q)
200002Q)
(CKEQ (TIMES 2 -200000Q)
-400000Q)
(CKEQ (PLUS 2 -200000Q)
-177776Q)
(CKEQ (QUOTIENT 2 -200000Q)
0)
(CKEQ (DIFFERENCE 2 177777Q)
-177775Q)
(CKEQ (TIMES 2 177777Q)
377776Q)
(CKEQ (PLUS 2 177777Q)
200001Q)
(CKEQ (QUOTIENT 2 177777Q)
0)
(CKEQ (DIFFERENCE 2 0.0)
2.0)
(CKEQ (TIMES 2 0.0)
0.0)
(CKEQ (PLUS 2 0.0)
2.0)
(CKEQ (DIFFERENCE 2 0)
2)
(CKEQ (TIMES 2 0)
0)
(CKEQ (PLUS 2 0)
2)
(CKEQ (DIFFERENCE 2 3)
-1)
(CKEQ (TIMES 2 3)
6)
(CKEQ (PLUS 2 3)
5)
(CKEQ (QUOTIENT 2 3)
0)
(CKEQ (DIFFERENCE 2 -1.0)
3.0)
(CKEQ (TIMES 2 -1.0)
-2.0)
(CKEQ (PLUS 2 -1.0)
1.0)
(CKEQ (QUOTIENT 2 -1.0)
-2.0)
(CKEQ (DIFFERENCE 2 -1)
3)
(CKEQ (TIMES 2 -1)
-2)
(CKEQ (PLUS 2 -1)
1)
(CKEQ (QUOTIENT 2 -1)
-2)
(CKEQ (DIFFERENCE 2 2)
0)
(CKEQ (TIMES 2 2)
4)
(CKEQ (PLUS 2 2)
4)
(CKEQ (QUOTIENT 2 2)
1)
(CKEQ (DIFFERENCE 2 1.0)
1.0)
(CKEQ (TIMES 2 1.0)
2.0)
(CKEQ (PLUS 2 1.0)
3.0)
(CKEQ (QUOTIENT 2 1.0)
2.0)
(CKEQ (DIFFERENCE 2 1)
1)
(CKEQ (TIMES 2 1)
2)
(CKEQ (PLUS 2 1)
3)
(CKEQ (QUOTIENT 2 1)
2)
(CKEQ (DIFFERENCE 1.0 -200000Q)
65537.0)
(CKEQ (TIMES 1.0 -200000Q)
-65536.0)
(CKEQ (PLUS 1.0 -200000Q)
-65535.0)
(CKEQ (QUOTIENT 1.0 -200000Q)
-.00001525879)
(CKEQ (DIFFERENCE 1.0 177777Q)
-65534.0)
(CKEQ (TIMES 1.0 177777Q)
65535.0)
(CKEQ (PLUS 1.0 177777Q)
65536.0)
(CKEQ (QUOTIENT 1.0 177777Q)
.00001525902)
(CKEQ (DIFFERENCE 1.0 0.0)
1.0)
(CKEQ (TIMES 1.0 0.0)
0.0)
(CKEQ (PLUS 1.0 0.0)
1.0)
(CKEQ (DIFFERENCE 1.0 0)
1.0)
(CKEQ (TIMES 1.0 0)
0.0)
(CKEQ (PLUS 1.0 0)
1.0)
(CKEQ (DIFFERENCE 1.0 3)
-2.0)
(CKEQ (TIMES 1.0 3)
3.0)
(CKEQ (PLUS 1.0 3)
4.0)
(CKEQ (QUOTIENT 1.0 3)
.3333333)
(CKEQ (DIFFERENCE 1.0 -1.0)
2.0)
(CKEQ (TIMES 1.0 -1.0)
-1.0)
(CKEQ (PLUS 1.0 -1.0)
0.0)
(CKEQ (QUOTIENT 1.0 -1.0)
-1.0)
(CKEQ (DIFFERENCE 1.0 -1)
2.0)
(CKEQ (TIMES 1.0 -1)
-1.0)
(CKEQ (PLUS 1.0 -1)
0.0)
(CKEQ (QUOTIENT 1.0 -1)
-1.0)
(CKEQ (DIFFERENCE 1.0 2)
-1.0)
(CKEQ (TIMES 1.0 2)
2.0)
(CKEQ (PLUS 1.0 2)
3.0)
(CKEQ (QUOTIENT 1.0 2)
.5)
(CKEQ (DIFFERENCE 1.0 1.0)
0.0)
(CKEQ (TIMES 1.0 1.0)
1.0)
(CKEQ (PLUS 1.0 1.0)
2.0)
(CKEQ (QUOTIENT 1.0 1.0)
1.0)
(CKEQ (DIFFERENCE 1.0 1)
0.0)
(CKEQ (TIMES 1.0 1)
1.0)
(CKEQ (PLUS 1.0 1)
2.0)
(CKEQ (QUOTIENT 1.0 1)
1.0)
(CKEQ (DIFFERENCE 1 -200000Q)
200001Q)
(CKEQ (TIMES 1 -200000Q)
-200000Q)
(CKEQ (PLUS 1 -200000Q)
-177777Q)
(CKEQ (QUOTIENT 1 -200000Q)
0)
(CKEQ (DIFFERENCE 1 177777Q)
-177776Q)
(CKEQ (TIMES 1 177777Q)
177777Q)
(CKEQ (PLUS 1 177777Q)
200000Q)
(CKEQ (QUOTIENT 1 177777Q)
0)
(CKEQ (DIFFERENCE 1 0.0)
1.0)
(CKEQ (TIMES 1 0.0)
0.0)
(CKEQ (PLUS 1 0.0)
1.0)
(CKEQ (DIFFERENCE 1 0)
1)
(CKEQ (TIMES 1 0)
0)
(CKEQ (PLUS 1 0)
1)
(CKEQ (DIFFERENCE 1 3)
-2)
(CKEQ (TIMES 1 3)
3)
(CKEQ (PLUS 1 3)
4)
(CKEQ (QUOTIENT 1 3)
0)
(CKEQ (DIFFERENCE 1 -1.0)
2.0)
(CKEQ (TIMES 1 -1.0)
-1.0)
(CKEQ (PLUS 1 -1.0)
0.0)
(CKEQ (QUOTIENT 1 -1.0)
-1.0)
(CKEQ (DIFFERENCE 1 -1)
2)
(CKEQ (TIMES 1 -1)
-1)
(CKEQ (PLUS 1 -1)
0)
(CKEQ (QUOTIENT 1 -1)
-1)
(CKEQ (DIFFERENCE 1 2)
-1)
(CKEQ (TIMES 1 2)
2)
(CKEQ (PLUS 1 2)
3)
(CKEQ (QUOTIENT 1 2)
0)
(CKEQ (DIFFERENCE 1 1.0)
0.0)
(CKEQ (TIMES 1 1.0)
1.0)
(CKEQ (PLUS 1 1.0)
2.0)
(CKEQ (QUOTIENT 1 1.0)
1.0)
(CKEQ (DIFFERENCE 1 1)
0)
(CKEQ (TIMES 1 1)
1)
(CKEQ (PLUS 1 1)
2)
(CKEQ (QUOTIENT 1 1)
1])
)
(DEFINEQ
(!GCTEST
[LAMBDA NIL (* bvm: "30-NOV-81 17:23")
(!GCTEST0)
(!GCTEST1)
(!GCTEST2)
(!GCTEST3])
(!GCTEST0
[LAMBDA NIL (* lmm " 4-JAN-82 14:18")
(MTCHECK (EQ (GETREF NIL)
1)
(EQ (GETREF T)
1)
(EQ (PROGN (\ADDREF (QUOTE FOO))
(GETREF (QUOTE FOO)))
1)
(EQ (PROGN (\DELREF (QUOTE FOO))
(GETREF (QUOTE FOO)))
1)
(EQ (PROGN (\ADDREF 2)
(GETREF 2))
1)
(EQ (PROGN (\DELREF 2)
(GETREF 2))
1)
(EQ (PROGN (\ADDREF (ADDBASE \DEFSPACE 2))
(GETREF (ADDBASE \DEFSPACE 2)))
1)
(EQ (PROGN (\DELREF (ADDBASE \DEFSPACE 2))
(GETREF (ADDBASE \DEFSPACE 2)))
1])
(!GCTEST1
[LAMBDA NIL
(DECLARE (GLOBALVARS !GV1 !GV2)) (* lmm " 4-JAN-82 14:18")
(PROG (A B C D E)
(MTCHECK (PROGN (SETQ A (CONS 1 2))
(EQ (GETREF A)
0))
(PROGN (SETQ B (CONS A))
(AND (EQ (GETREF A)
1)
(EQ (GETREF B)
0)))
(PROGN (SETQ C (CONS A))
(AND (EQ (GETREF A)
2)
(EQ (GETREF C)
0)))
(PROGN (RPLACA B (QUOTE FOO))
(AND (EQ (GETREF A)
1)
(EQ (GETREF B)
0)))
(PROGN (RPLACA C (QUOTE FUM))
(AND (EQ (GETREF A)
0)
(EQ (GETREF C)
0)))
(PROGN (RPLACD C (SETQ D (CONS)))
(EQ (GETREF D)
1))
(PROGN (RPLACD C (SETQ E (CONS)))
(AND (EQ (GETREF D)
0)
(EQ (GETREF E)
1)))
(PROGN (SETQ !GV1 NIL)
(EQ (GETREF !GV1)
1))
(PROGN (SETQ !GV1 E)
(EQ (GETREF E)
2))
(PROGN (SETQ !GV1 A)
(AND (EQ (GETREF E)
1)
(EQ (GETREF A)
1)))
(PROGN (\ADDREF A)
(EQ (GETREF A)
2))
(PROGN (SETQ !GV1 A)
(EQ (GETREF A)
2))
(PROGN (SETQ !GV2 C)
(EQ (GETREF C)
1))
(PROGN (\DELREF A)
(EQ (GETREF A)
1])
(!GCTEST2
[LAMBDA NIL (* lmm " 4-JAN-82 14:18")
(PROG ((A (CONS (QUOTE FOO)))
(I 0))
[RPTQ 77Q (MTCHECK (PROGN (\ADDREF A)
(EQ (GETREF A)
(SETQ I (ADD1 I]
[RPTQ 2 (MTCHECK (PROGN (\ADDREF A)
(EQ (GETREF A)
77Q]
(RPTQ 2 (MTCHECK (PROGN (\DELREF A)
(EQ (GETREF A)
77Q])
(!GCTEST3
[LAMBDA NIL (* lmm "17-DEC-81 20:59")
(!GCTEST3A)
(!GCTEST3B)
(!GCTEST3C)
(!GCTEST3D)
(!GCTESTSETF)
(!GCTESTSETG])
(!GCTESTSETF
[LAMBDA NIL (* lmm " 4-JAN-82 14:18")
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))) (* 5 array pointers that will hash to same place)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM BOX1STATE BOX2STATE)
(FRPTQ 12Q (FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (PROG NIL RETRY (SELECTQ (RAND 1 4)
(1 (COND (BOX1STATE (COND ((ZEROP (CADR BOX1STATE)) (GO RETRY))) (add (CADR BOX1STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX1STATE VAR) (push FORMS (LIST (QUOTE SETQ) (QUOTE !FVAR1) (CAR VAR))))
(2 (COND (BOX2STATE (COND ((ZEROP (CADR BOX2STATE)) (GO RETRY))) (add (CADR BOX2STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX2STATE VAR) (push FORMS (LIST (QUOTE SETQ) (QUOTE !FVAR2) (CAR VAR))))
(3 (add (CADR VAR) 1) (push FORMS (LIST (QUOTE \ADDREF) (CAR VAR)))) (PROGN (COND ((ZEROP
(CADR VAR)) (GO RETRY))) (add (CADR VAR) -1) (push FORMS (LIST (QUOTE \DELREF) (CAR VAR)))))))
(push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST (QUOTE EQ) (LIST (QUOTE GETREF)
(CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X)) (push FORMS (LIST (QUOTE \ADDREF)
(CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF) (CAR X))))))) (RETURN
(CONS (QUOTE PROGN) (REVERSE FORMS)))))
(MTCHECKSTK (\DELREF A3)
(SETQ !FVAR2 A1)
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A1)
(SETQ !FVAR1 A1)
(SETQ !FVAR2 A5)
(\ADDREF A1)
(SETQ !FVAR1 A2)
(\DELREF A1)
(\ADDREF A5)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
0)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
3))
(SETQ !FVAR1 A5)
(\ADDREF A4)
(\ADDREF A2)
(\ADDREF A5)
(SETQ !FVAR2 A5)
(SETQ !FVAR1 A4)
(\ADDREF A3)
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A2)
(SETQ !FVAR2 A4)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
3)
(EQ (GETREF A5)
3))
(\ADDREF A5)
(SETQ !FVAR1 A2)
(SETQ !FVAR2 A4)
(SETQ !FVAR1 A5)
(SETQ !FVAR2 A5)
(\DELREF A1)
(SETQ !FVAR1 A1)
(\DELREF A1)
(\ADDREF A4)
(\DELREF A4)
(MTCHECK (EQ (GETREF A1)
0)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
5))
(SETQ !FVAR2 A5)
(\DELREF A4)
(SETQ !FVAR2 A5)
(\DELREF A3)
(\ADDREF A1)
(SETQ !FVAR1 A1)
(SETQ !FVAR2 A5)
(SETQ !FVAR2 A3)
(\DELREF A1)
(\DELREF A2)
(MTCHECK (EQ (GETREF A1)
0)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
4))
(SETQ !FVAR2 A1)
(SETQ !FVAR2 A4)
(\DELREF A4)
(\ADDREF A1)
(SETQ !FVAR1 A3)
(SETQ !FVAR1 A5)
(\ADDREF A3)
(\ADDREF A1)
(\ADDREF A4)
(SETQ !FVAR2 A3)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
5))
(SETQ !FVAR2 A2)
(SETQ !FVAR1 A3)
(\ADDREF A5)
(SETQ !FVAR2 A1)
(SETQ !FVAR2 A5)
(\DELREF A2)
(SETQ !FVAR2 A2)
(\DELREF A2)
(SETQ !FVAR1 A5)
(SETQ !FVAR1 A3)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
5))
(\ADDREF A1)
(\DELREF A1)
(\ADDREF A5)
(\ADDREF A5)
(SETQ !FVAR1 A5)
(SETQ !FVAR1 A4)
(SETQ !FVAR1 A4)
(SETQ !FVAR1 A2)
(SETQ !FVAR2 A2)
(\ADDREF A2)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
7))
(\DELREF A5)
(SETQ !FVAR2 A5)
(\ADDREF A2)
(\ADDREF A1)
(\DELREF A1)
(\ADDREF A5)
(SETQ !FVAR1 A3)
(\ADDREF A2)
(SETQ !FVAR1 A3)
(\ADDREF A4)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
10Q))
(\ADDREF A2)
(\DELREF A5)
(\DELREF A3)
(SETQ !FVAR2 A5)
(SETQ !FVAR1 A4)
(SETQ !FVAR1 A2)
(SETQ !FVAR1 A5)
(\DELREF A5)
(SETQ !FVAR2 A5)
(SETQ !FVAR1 A2)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
4)
(EQ (GETREF A3)
0)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
6))
(SETQ !FVAR1 A5)
(SETQ !FVAR2 A5)
(\DELREF A2)
(SETQ !FVAR1 A1)
(SETQ !FVAR2 A2)
(SETQ !FVAR2 A1)
(\ADDREF A5)
(SETQ !FVAR2 A4)
(SETQ !FVAR1 A5)
(SETQ !FVAR2 A2)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
0)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
7))
(\DELREF A2)
(\DELREF A2)
(\ADDREF A3)
(\DELREF A4)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(SETQ.NOREF !FVAR1 NIL)
(SETQ.NOREF !FVAR2 NIL))
(MTCHECKSTK (\DELREF A5)
(SETQ !FVAR1 A5)
(SETQ !FVAR2 A2)
(\ADDREF A1)
(SETQ !FVAR1 A2)
(\ADDREF A4)
(SETQ !FVAR1 A1)
(\DELREF A2)
(SETQ !FVAR2 A5)
(SETQ !FVAR1 A5)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
2))
(\ADDREF A4)
(\DELREF A3)
(\ADDREF A3)
(\ADDREF A2)
(SETQ !FVAR1 A4)
(\ADDREF A4)
(\DELREF A2)
(\ADDREF A3)
(SETQ !FVAR1 A2)
(\ADDREF A2)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
4)
(EQ (GETREF A5)
1))
(SETQ !FVAR2 A1)
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A1)
(SETQ !FVAR2 A3)
(SETQ !FVAR1 A2)
(SETQ !FVAR2 A4)
(\DELREF A2)
(SETQ !FVAR2 A2)
(SETQ !FVAR2 A5)
(SETQ !FVAR2 A4)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
5)
(EQ (GETREF A5)
0))
(\ADDREF A3)
(SETQ !FVAR2 A1)
(\DELREF A1)
(\ADDREF A5)
(\ADDREF A5)
(\ADDREF A4)
(SETQ !FVAR2 A4)
(SETQ !FVAR1 A5)
(\ADDREF A4)
(SETQ !FVAR2 A2)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
6)
(EQ (GETREF A5)
3))
(SETQ !FVAR2 A2)
(\ADDREF A1)
(SETQ !FVAR1 A5)
(SETQ !FVAR1 A4)
(SETQ !FVAR2 A5)
(\DELREF A3)
(\ADDREF A3)
(SETQ !FVAR2 A5)
(SETQ !FVAR2 A4)
(\ADDREF A3)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
4)
(EQ (GETREF A4)
10Q)
(EQ (GETREF A5)
2))
(\DELREF A3)
(\ADDREF A4)
(\ADDREF A5)
(SETQ !FVAR2 A1)
(\ADDREF A1)
(\ADDREF A4)
(\ADDREF A2)
(\DELREF A4)
(SETQ !FVAR2 A2)
(\DELREF A2)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
10Q)
(EQ (GETREF A5)
3))
(SETQ !FVAR1 A2)
(SETQ !FVAR2 A1)
(SETQ !FVAR1 A5)
(SETQ !FVAR1 A3)
(\DELREF A3)
(SETQ !FVAR1 A1)
(\ADDREF A4)
(\ADDREF A4)
(\DELREF A3)
(SETQ !FVAR1 A1)
(MTCHECK (EQ (GETREF A1)
5)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
11Q)
(EQ (GETREF A5)
3))
(SETQ !FVAR2 A1)
(\ADDREF A4)
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A3)
(SETQ !FVAR1 A2)
(SETQ !FVAR1 A1)
(SETQ !FVAR2 A2)
(SETQ !FVAR1 A5)
(SETQ !FVAR1 A5)
(SETQ !FVAR2 A5)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
12Q)
(EQ (GETREF A5)
5))
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A3)
(\ADDREF A2)
(SETQ !FVAR2 A5)
(\ADDREF A4)
(\DELREF A1)
(SETQ !FVAR1 A4)
(\DELREF A1)
(\DELREF A2)
(\ADDREF A5)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
14Q)
(EQ (GETREF A5)
5))
(\ADDREF A1)
(SETQ !FVAR2 A3)
(SETQ !FVAR1 A4)
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A1)
(SETQ !FVAR1 A2)
(\ADDREF A4)
(\ADDREF A4)
(\ADDREF A4)
(\ADDREF A1)
(MTCHECK (EQ (GETREF A1)
4)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
16Q)
(EQ (GETREF A5)
4))
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(SETQ.NOREF !FVAR1 NIL)
(SETQ.NOREF !FVAR2 NIL])
(!GCTESTSETG
[LAMBDA NIL (* lmm " 4-JAN-82 14:18")
(DECLARE (GLOBALVARS !GVAR1 !GVAR2))
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))) (* 5 array pointers that will hash to same place)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM BOX1STATE BOX2STATE)
(FRPTQ 12Q (FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (PROG NIL RETRY (SELECTQ (RAND 1 4)
(1 (COND (BOX1STATE (COND ((ZEROP (CADR BOX1STATE)) (GO RETRY))) (add (CADR BOX1STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX1STATE VAR) (push FORMS (LIST (QUOTE SETQ) (QUOTE !GVAR1) (CAR VAR))))
(2 (COND (BOX2STATE (COND ((ZEROP (CADR BOX2STATE)) (GO RETRY))) (add (CADR BOX2STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX2STATE VAR) (push FORMS (LIST (QUOTE SETQ) (QUOTE !GVAR2) (CAR VAR))))
(3 (add (CADR VAR) 1) (push FORMS (LIST (QUOTE \ADDREF) (CAR VAR)))) (PROGN (COND ((ZEROP
(CADR VAR)) (GO RETRY))) (add (CADR VAR) -1) (push FORMS (LIST (QUOTE \DELREF) (CAR VAR)))))))
(push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST (QUOTE EQ) (LIST (QUOTE GETREF)
(CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X)) (push FORMS (LIST (QUOTE \ADDREF)
(CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF) (CAR X))))))) (RETURN
(CONS (QUOTE PROGN) (REVERSE FORMS)))))
(MTCHECKSTK (SETQ !GVAR1 A4)
(\DELREF A2)
(SETQ !GVAR1 A4)
(\ADDREF A3)
(SETQ !GVAR1 A4)
(SETQ !GVAR2 A4)
(SETQ !GVAR2 A5)
(SETQ !GVAR1 A2)
(\DELREF A2)
(\DELREF A3)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
2))
(\DELREF A3)
(SETQ !GVAR2 A1)
(\ADDREF A4)
(SETQ !GVAR2 A5)
(SETQ !GVAR2 A2)
(\ADDREF A3)
(SETQ !GVAR1 A2)
(\DELREF A4)
(\DELREF A1)
(\DELREF A4)
(MTCHECK (EQ (GETREF A1)
0)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
0)
(EQ (GETREF A5)
1))
(\DELREF A2)
(\ADDREF A2)
(\DELREF A3)
(\ADDREF A1)
(SETQ !GVAR2 A1)
(\ADDREF A5)
(SETQ !GVAR2 A4)
(\ADDREF A5)
(\ADDREF A5)
(\ADDREF A1)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
0)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
4))
(SETQ !GVAR2 A4)
(\ADDREF A5)
(SETQ !GVAR2 A5)
(\ADDREF A1)
(SETQ !GVAR2 A5)
(SETQ !GVAR2 A2)
(SETQ !GVAR1 A4)
(SETQ !GVAR1 A4)
(\DELREF A4)
(\ADDREF A4)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
0)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
5))
(\DELREF A5)
(SETQ !GVAR1 A5)
(\ADDREF A4)
(\ADDREF A1)
(SETQ !GVAR1 A1)
(\DELREF A4)
(SETQ !GVAR1 A5)
(SETQ !GVAR1 A2)
(\ADDREF A3)
(SETQ !GVAR1 A1)
(MTCHECK (EQ (GETREF A1)
5)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
0)
(EQ (GETREF A5)
4))
(\ADDREF A2)
(\DELREF A3)
(SETQ !GVAR2 A4)
(SETQ !GVAR2 A4)
(SETQ !GVAR2 A3)
(SETQ !GVAR2 A2)
(\ADDREF A2)
(SETQ !GVAR2 A5)
(\ADDREF A4)
(\DELREF A2)
(MTCHECK (EQ (GETREF A1)
5)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
0)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
5))
(SETQ !GVAR1 A2)
(SETQ !GVAR1 A4)
(\ADDREF A3)
(\DELREF A4)
(SETQ !GVAR1 A2)
(SETQ !GVAR2 A4)
(\DELREF A1)
(SETQ !GVAR1 A3)
(SETQ !GVAR2 A1)
(SETQ !GVAR2 A5)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
0)
(EQ (GETREF A5)
5))
(SETQ !GVAR2 A3)
(SETQ !GVAR1 A2)
(\ADDREF A1)
(\ADDREF A5)
(\ADDREF A2)
(\DELREF A5)
(\DELREF A2)
(\DELREF A1)
(\ADDREF A2)
(SETQ !GVAR2 A4)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
4))
(\DELREF A1)
(\ADDREF A5)
(\DELREF A1)
(\DELREF A5)
(\DELREF A3)
(\ADDREF A3)
(SETQ !GVAR1 A1)
(SETQ !GVAR2 A2)
(\ADDREF A2)
(SETQ !GVAR2 A2)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
0)
(EQ (GETREF A5)
4))
(\ADDREF A3)
(\ADDREF A1)
(SETQ !GVAR2 A5)
(SETQ !GVAR1 A3)
(SETQ !GVAR2 A2)
(SETQ !GVAR1 A2)
(SETQ !GVAR2 A4)
(\DELREF A3)
(SETQ !GVAR2 A4)
(\DELREF A1)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
4))
(\DELREF A2)
(\DELREF A2)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(SETQ.NOREF !GVAR1 NIL)
(SETQ.NOREF !GVAR2 NIL))
(MTCHECKSTK (\ADDREF A3)
(\DELREF A1)
(SETQ !GVAR2 A1)
(SETQ !GVAR1 A2)
(SETQ !GVAR2 A2)
(\ADDREF A3)
(SETQ !GVAR2 A3)
(\DELREF A5)
(SETQ !GVAR2 A4)
(\ADDREF A2)
(MTCHECK (EQ (GETREF A1)
0)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
0))
(SETQ !GVAR1 A5)
(SETQ !GVAR2 A3)
(SETQ !GVAR1 A5)
(SETQ !GVAR1 A1)
(\DELREF A1)
(SETQ !GVAR2 A5)
(\ADDREF A1)
(SETQ !GVAR1 A1)
(\DELREF A4)
(SETQ !GVAR1 A4)
(MTCHECK (EQ (GETREF A1)
0)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
1))
(SETQ !GVAR2 A5)
(SETQ !GVAR1 A1)
(\ADDREF A5)
(\ADDREF A4)
(\DELREF A2)
(SETQ !GVAR2 A5)
(\DELREF A4)
(SETQ !GVAR1 A5)
(\ADDREF A2)
(SETQ !GVAR1 A4)
(MTCHECK (EQ (GETREF A1)
0)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
2))
(\DELREF A2)
(\DELREF A4)
(\DELREF A2)
(\ADDREF A2)
(SETQ !GVAR2 A2)
(\ADDREF A5)
(\ADDREF A2)
(\ADDREF A1)
(SETQ !GVAR2 A3)
(\ADDREF A5)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
4)
(EQ (GETREF A4)
0)
(EQ (GETREF A5)
3))
(\ADDREF A2)
(\DELREF A5)
(\ADDREF A1)
(SETQ !GVAR2 A4)
(SETQ !GVAR2 A2)
(SETQ !GVAR2 A5)
(\DELREF A3)
(\ADDREF A2)
(SETQ !GVAR2 A1)
(\DELREF A5)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
4)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
0)
(EQ (GETREF A5)
1))
(\DELREF A2)
(SETQ !GVAR2 A2)
(SETQ !GVAR2 A5)
(\ADDREF A1)
(SETQ !GVAR2 A2)
(\DELREF A3)
(\ADDREF A5)
(SETQ !GVAR2 A5)
(SETQ !GVAR2 A1)
(SETQ !GVAR2 A1)
(MTCHECK (EQ (GETREF A1)
4)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
0)
(EQ (GETREF A5)
2))
(\ADDREF A5)
(SETQ !GVAR2 A4)
(\DELREF A1)
(\ADDREF A3)
(\DELREF A3)
(SETQ !GVAR2 A2)
(SETQ !GVAR2 A2)
(\DELREF A2)
(\DELREF A5)
(\ADDREF A2)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
4)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
0)
(EQ (GETREF A5)
2))
(SETQ !GVAR2 A1)
(\DELREF A1)
(\DELREF A5)
(SETQ !GVAR2 A1)
(SETQ !GVAR2 A2)
(\ADDREF A2)
(\ADDREF A4)
(SETQ !GVAR1 A4)
(SETQ !GVAR1 A5)
(\ADDREF A1)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
5)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
0)
(EQ (GETREF A5)
2))
(SETQ !GVAR1 A4)
(SETQ !GVAR1 A4)
(\DELREF A5)
(\ADDREF A5)
(SETQ !GVAR2 A1)
(SETQ !GVAR2 A2)
(\DELREF A5)
(SETQ !GVAR1 A1)
(SETQ !GVAR2 A4)
(SETQ !GVAR2 A1)
(MTCHECK (EQ (GETREF A1)
4)
(EQ (GETREF A2)
4)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
0)
(EQ (GETREF A5)
0))
(SETQ !GVAR2 A4)
(\ADDREF A4)
(SETQ !GVAR2 A4)
(SETQ !GVAR1 A4)
(SETQ !GVAR2 A5)
(\ADDREF A3)
(SETQ !GVAR1 A4)
(\DELREF A4)
(\ADDREF A1)
(\ADDREF A5)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
4)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
2))
(\DELREF A1)
(\DELREF A1)
(\DELREF A2)
(\DELREF A2)
(\DELREF A2)
(\DELREF A3)
(\DELREF A5)
(SETQ.NOREF !GVAR1 NIL)
(SETQ.NOREF !GVAR2 NIL])
(!GCTEST3D
[LAMBDA NIL (* lmm " 4-JAN-82 14:18")
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))
(BOX1 (CREATECELL \FIXP))
(BOX2 (CREATECELL \FIXP))) (* 5 array pointers that will hash to same place)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM BOX1STATE BOX2STATE)
(FRPTQ 12Q (FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (PROG NIL RETRY (SELECTQ (RAND 1 4)
(1 (COND (BOX1STATE (COND ((ZEROP (CADR BOX1STATE)) (GO RETRY))) (add (CADR BOX1STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX1STATE VAR) (push FORMS (LIST (QUOTE \RPLPTR) (QUOTE BOX1) 0 (CAR VAR))))
(2 (COND (BOX2STATE (COND ((ZEROP (CADR BOX2STATE)) (GO RETRY))) (add (CADR BOX2STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX2STATE VAR) (push FORMS (LIST (QUOTE \RPLPTR) (QUOTE BOX2) 0 (CAR VAR))))
(3 (add (CADR VAR) 1) (push FORMS (LIST (QUOTE \ADDREF) (CAR VAR)))) (PROGN (COND ((ZEROP
(CADR VAR)) (GO RETRY))) (add (CADR VAR) -1) (push FORMS (LIST (QUOTE \DELREF) (CAR VAR)))))))
(push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST (QUOTE EQ) (LIST (QUOTE GETREF)
(CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X)) (push FORMS (LIST (QUOTE \ADDREF)
(CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF) (CAR X))))))) (RETURN
(CONS (QUOTE PROGN) (REVERSE FORMS)))))
(PROGN (\RPLPTR BOX1 0 A1)
(\ADDREF A4)
(\ADDREF A1)
(\RPLPTR BOX2 0 A2)
(\ADDREF A4)
(\ADDREF A1)
(\RPLPTR BOX2 0 A4)
(\ADDREF A1)
(\RPLPTR BOX2 0 A2)
(\ADDREF A4)
(MTCHECK (EQ (GETREF A1)
5)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
4)
(EQ (GETREF A5)
1))
(\DELREF A1)
(\ADDREF A5)
(\DELREF A2)
(\RPLPTR BOX2 0 A1)
(\RPLPTR BOX2 0 A2)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX1 0 A5)
(\RPLPTR BOX1 0 A3)
(\DELREF A4)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
3)
(EQ (GETREF A5)
2))
(\RPLPTR BOX2 0 A1)
(\RPLPTR BOX1 0 A4)
(\RPLPTR BOX2 0 A4)
(\RPLPTR BOX1 0 A5)
(\DELREF A5)
(\RPLPTR BOX2 0 A3)
(\ADDREF A1)
(\ADDREF A5)
(\ADDREF A3)
(\RPLPTR BOX1 0 A4)
(MTCHECK (EQ (GETREF A1)
4)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
4)
(EQ (GETREF A5)
2))
(\ADDREF A4)
(\RPLPTR BOX1 0 A2)
(\DELREF A5)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX2 0 A1)
(\ADDREF A2)
(\ADDREF A1)
(\ADDREF A4)
(\ADDREF A3)
(\RPLPTR BOX2 0 A5)
(MTCHECK (EQ (GETREF A1)
6)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
5)
(EQ (GETREF A5)
2))
(\ADDREF A2)
(\ADDREF A3)
(\DELREF A1)
(\ADDREF A4)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX2 0 A1)
(\DELREF A5)
(\DELREF A3)
(\RPLPTR BOX2 0 A5)
(\RPLPTR BOX1 0 A3)
(MTCHECK (EQ (GETREF A1)
4)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
4)
(EQ (GETREF A4)
6)
(EQ (GETREF A5)
1))
(\RPLPTR BOX1 0 A4)
(\RPLPTR BOX1 0 A3)
(\RPLPTR BOX1 0 A4)
(\ADDREF A4)
(\DELREF A5)
(\DELREF A4)
(\ADDREF A1)
(\ADDREF A1)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX1 0 A3)
(MTCHECK (EQ (GETREF A1)
6)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
4)
(EQ (GETREF A4)
6)
(EQ (GETREF A5)
0))
(\ADDREF A2)
(\ADDREF A3)
(\DELREF A2)
(\RPLPTR BOX1 0 A4)
(\DELREF A3)
(\DELREF A1)
(\ADDREF A3)
(\RPLPTR BOX1 0 A4)
(\ADDREF A1)
(\DELREF A2)
(MTCHECK (EQ (GETREF A1)
6)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
4)
(EQ (GETREF A4)
7)
(EQ (GETREF A5)
0))
(\RPLPTR BOX1 0 A4)
(\RPLPTR BOX1 0 A2)
(\RPLPTR BOX1 0 A1)
(\ADDREF A3)
(\RPLPTR BOX1 0 A5)
(\RPLPTR BOX2 0 A2)
(\RPLPTR BOX2 0 A2)
(\ADDREF A5)
(\RPLPTR BOX2 0 A3)
(\DELREF A4)
(MTCHECK (EQ (GETREF A1)
6)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
6)
(EQ (GETREF A4)
5)
(EQ (GETREF A5)
1))
(\RPLPTR BOX2 0 A3)
(\DELREF A5)
(\RPLPTR BOX2 0 A5)
(\ADDREF A1)
(\ADDREF A5)
(\ADDREF A3)
(\RPLPTR BOX2 0 A1)
(\DELREF A3)
(\DELREF A1)
(\RPLPTR BOX1 0 A5)
(MTCHECK (EQ (GETREF A1)
7)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
5)
(EQ (GETREF A4)
5)
(EQ (GETREF A5)
1))
(\RPLPTR BOX1 0 A4)
(\ADDREF A3)
(\RPLPTR BOX2 0 A2)
(\ADDREF A5)
(\DELREF A2)
(\RPLPTR BOX1 0 A2)
(\ADDREF A3)
(\ADDREF A3)
(\ADDREF A3)
(\RPLPTR BOX2 0 A2)
(MTCHECK (EQ (GETREF A1)
6)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
11Q)
(EQ (GETREF A4)
5)
(EQ (GETREF A5)
1))
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A2)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4])
(!GCTEST3C
[LAMBDA NIL (* lmm " 4-JAN-82 14:19")
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))
(BOX1 (CREATECELL \FIXP))
(BOX2 (CREATECELL \FIXP))) (* 5 array pointers that will hash to same place)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM BOX1STATE BOX2STATE)
(FRPTQ 12Q (FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (PROG NIL RETRY (SELECTQ (RAND 1 4)
(1 (COND (BOX1STATE (COND ((ZEROP (CADR BOX1STATE)) (GO RETRY))) (add (CADR BOX1STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX1STATE VAR) (push FORMS (LIST (QUOTE \RPLPTR) (QUOTE BOX1) 0 (CAR VAR))))
(2 (COND (BOX2STATE (COND ((ZEROP (CADR BOX2STATE)) (GO RETRY))) (add (CADR BOX2STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX2STATE VAR) (push FORMS (LIST (QUOTE \RPLPTR) (QUOTE BOX2) 0 (CAR VAR))))
(3 (add (CADR VAR) 1) (push FORMS (LIST (QUOTE \ADDREF) (CAR VAR)))) (PROGN (COND ((ZEROP
(CADR VAR)) (GO RETRY))) (add (CADR VAR) -1) (push FORMS (LIST (QUOTE \DELREF) (CAR VAR)))))))
(push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST (QUOTE EQ) (LIST (QUOTE GETREF)
(CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X)) (push FORMS (LIST (QUOTE \ADDREF)
(CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF) (CAR X))))))) (RETURN
(CONS (QUOTE PROGN) (REVERSE FORMS)))))
(PROGN (\RPLPTR BOX1 0 A1)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A2)
(\ADDREF A2)
(\ADDREF A3)
(\ADDREF A2)
(\ADDREF A4)
(\RPLPTR BOX2 0 A1)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A3)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
1))
(\ADDREF A5)
(\ADDREF A2)
(\RPLPTR BOX2 0 A2)
(\ADDREF A3)
(\RPLPTR BOX1 0 A1)
(\DELREF A3)
(\RPLPTR BOX2 0 A2)
(\RPLPTR BOX2 0 A3)
(\DELREF A3)
(\RPLPTR BOX1 0 A1)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
4)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
2))
(\RPLPTR BOX2 0 A1)
(\DELREF A2)
(\RPLPTR BOX2 0 A2)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A5)
(\DELREF A1)
(\RPLPTR BOX1 0 A5)
(\ADDREF A2)
(\RPLPTR BOX1 0 A1)
(\DELREF A5)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
4)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
2))
(\DELREF A5)
(\RPLPTR BOX2 0 A4)
(\RPLPTR BOX1 0 A2)
(\RPLPTR BOX2 0 A2)
(\ADDREF A4)
(\RPLPTR BOX1 0 A5)
(\ADDREF A1)
(\ADDREF A1)
(\RPLPTR BOX1 0 A4)
(\DELREF A2)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
4)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
4)
(EQ (GETREF A5)
0))
(\RPLPTR BOX2 0 A5)
(\RPLPTR BOX1 0 A3)
(\ADDREF A2)
(\ADDREF A5)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX1 0 A2)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX1 0 A3)
(\RPLPTR BOX1 0 A2)
(\RPLPTR BOX2 0 A2)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
6)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
3)
(EQ (GETREF A5)
1))
(\ADDREF A4)
(\ADDREF A1)
(\RPLPTR BOX1 0 A3)
(\RPLPTR BOX2 0 A3)
(\DELREF A1)
(\RPLPTR BOX1 0 A5)
(\DELREF A2)
(\ADDREF A4)
(\RPLPTR BOX1 0 A4)
(\ADDREF A5)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
6)
(EQ (GETREF A5)
2))
(\DELREF A5)
(\RPLPTR BOX2 0 A1)
(\RPLPTR BOX2 0 A2)
(\DELREF A2)
(\ADDREF A1)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX1 0 A4)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX1 0 A1)
(\DELREF A2)
(MTCHECK (EQ (GETREF A1)
4)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
5)
(EQ (GETREF A5)
1))
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A1)
(\RPLPTR BOX1 0 A1)
(\DELREF A5)
(\RPLPTR BOX1 0 A2)
(\RPLPTR BOX1 0 A4)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A2)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
6)
(EQ (GETREF A5)
0))
(\RPLPTR BOX2 0 A1)
(\DELREF A3)
(\DELREF A1)
(\DELREF A1)
(\RPLPTR BOX1 0 A3)
(\ADDREF A1)
(\DELREF A4)
(\DELREF A3)
(\RPLPTR BOX2 0 A5)
(\ADDREF A3)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
4)
(EQ (GETREF A5)
1))
(\RPLPTR BOX1 0 A5)
(\DELREF A2)
(\RPLPTR BOX2 0 A2)
(\RPLPTR BOX1 0 A5)
(\RPLPTR BOX2 0 A1)
(\ADDREF A5)
(\ADDREF A5)
(\ADDREF A5)
(\RPLPTR BOX2 0 A5)
(\ADDREF A1)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
0)
(EQ (GETREF A4)
4)
(EQ (GETREF A5)
5))
(\DELREF A1)
(\DELREF A1)
(\ADDREF A2)
(\ADDREF A3)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5])
(!GCTEST3B
[LAMBDA NIL (* lmm " 4-JAN-82 14:19")
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))) (* 5 array pointers that will hash to same place -
INITIAL REFERENCE CNT 1)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM) (FRPTQ 12Q
(FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (push FORMS (LIST (SELECTQ (COND ((ZEROP
(CADR VAR)) 0) (T (RAND 0 1))) (0 (add (CADR VAR) 1) (QUOTE \ADDREF)) (PROGN (add (CADR VAR) -1)
(QUOTE \DELREF))) (CAR VAR)))) (push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST
(QUOTE EQ) (LIST (QUOTE GETREF) (CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X))
(push FORMS (LIST (QUOTE \ADDREF) (CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF)
(CAR X))))))) (RETURN (CONS (QUOTE PROGN) (REVERSE FORMS)))))
(PROGN (\ADDREF A2)
(\ADDREF A4)
(\ADDREF A5)
(\ADDREF A4)
(\ADDREF A3)
(\ADDREF A1)
(\ADDREF A4)
(\DELREF A3)
(\ADDREF A2)
(\ADDREF A5)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
4)
(EQ (GETREF A5)
3))
(\DELREF A5)
(\DELREF A3)
(\DELREF A5)
(\DELREF A5)
(\DELREF A4)
(\ADDREF A3)
(\ADDREF A4)
(\DELREF A4)
(\DELREF A4)
(\ADDREF A4)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
3)
(EQ (GETREF A5)
0))
(\DELREF A4)
(\DELREF A1)
(\DELREF A4)
(\DELREF A1)
(\DELREF A4)
(\DELREF A2)
(\ADDREF A4)
(\ADDREF A1)
(\DELREF A2)
(\ADDREF A5)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
1))
(\ADDREF A4)
(\ADDREF A4)
(\DELREF A4)
(\ADDREF A3)
(\ADDREF A4)
(\DELREF A5)
(\DELREF A3)
(\DELREF A3)
(\ADDREF A4)
(\ADDREF A5)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
0)
(EQ (GETREF A4)
4)
(EQ (GETREF A5)
1))
(\ADDREF A1)
(\ADDREF A3)
(\ADDREF A2)
(\ADDREF A1)
(\DELREF A4)
(\DELREF A5)
(\DELREF A4)
(\ADDREF A3)
(\DELREF A2)
(\DELREF A4)
(MTCHECK (EQ (GETREF A1)
3)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
0))
(\DELREF A1)
(\ADDREF A3)
(\ADDREF A3)
(\ADDREF A1)
(\ADDREF A2)
(\DELREF A1)
(\ADDREF A3)
(\DELREF A2)
(\ADDREF A5)
(\ADDREF A5)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
5)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
2))
(\DELREF A1)
(\ADDREF A2)
(\ADDREF A5)
(\DELREF A3)
(\DELREF A3)
(\DELREF A1)
(\ADDREF A3)
(\ADDREF A3)
(\ADDREF A4)
(\ADDREF A4)
(MTCHECK (EQ (GETREF A1)
0)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
5)
(EQ (GETREF A4)
3)
(EQ (GETREF A5)
3))
(\DELREF A5)
(\ADDREF A1)
(\ADDREF A2)
(\ADDREF A5)
(\DELREF A3)
(\ADDREF A1)
(\DELREF A4)
(\DELREF A3)
(\DELREF A4)
(\ADDREF A3)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
4)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
3))
(\ADDREF A3)
(\DELREF A2)
(\ADDREF A4)
(\DELREF A3)
(\ADDREF A4)
(\DELREF A1)
(\DELREF A3)
(\ADDREF A2)
(\DELREF A5)
(\DELREF A4)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
2))
(\DELREF A5)
(\ADDREF A1)
(\ADDREF A2)
(\ADDREF A4)
(\DELREF A5)
(\DELREF A2)
(\DELREF A1)
(\ADDREF A3)
(\ADDREF A2)
(\DELREF A4)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
4)
(EQ (GETREF A3)
4)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
0))
(\DELREF A2)
(\DELREF A2)
(\DELREF A2)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A4)
(\ADDREF A5])
(!GCTEST3A
[LAMBDA NIL (* lmm " 4-JAN-82 14:19")
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))) (* 5 array pointers that will hash to same place -
INITIAL REFERENCE CNT 1)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM) (FRPTQ 12Q
(FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (push FORMS (LIST (SELECTQ (COND ((ZEROP
(CADR VAR)) 0) (T (RAND 0 1))) (0 (add (CADR VAR) 1) (QUOTE \ADDREF)) (PROGN (add (CADR VAR) -1)
(QUOTE \DELREF))) (CAR VAR)))) (push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST
(QUOTE EQ) (LIST (QUOTE GETREF) (CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X))
(push FORMS (LIST (QUOTE \ADDREF) (CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF)
(CAR X))))))) (RETURN (CONS (QUOTE PROGN) (REVERSE FORMS)))))
(PROGN (\DELREF A1)
(\ADDREF A1)
(\DELREF A1)
(\ADDREF A2)
(\DELREF A3)
(\DELREF A5)
(\ADDREF A1)
(\ADDREF A3)
(\ADDREF A3)
(\ADDREF A2)
(MTCHECK (EQ (GETREF A1)
1)
(EQ (GETREF A2)
3)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
1)
(EQ (GETREF A5)
0))
(\DELREF A3)
(\ADDREF A4)
(\DELREF A2)
(\DELREF A1)
(\DELREF A4)
(\ADDREF A4)
(\ADDREF A5)
(\ADDREF A1)
(\DELREF A1)
(\DELREF A3)
(MTCHECK (EQ (GETREF A1)
0)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
0)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
1))
(\ADDREF A1)
(\ADDREF A4)
(\DELREF A4)
(\ADDREF A5)
(\ADDREF A3)
(\DELREF A3)
(\DELREF A2)
(\ADDREF A3)
(\ADDREF A5)
(\ADDREF A1)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
1)
(EQ (GETREF A4)
2)
(EQ (GETREF A5)
3))
(\ADDREF A4)
(\ADDREF A4)
(\ADDREF A3)
(\ADDREF A3)
(\DELREF A2)
(\DELREF A1)
(\DELREF A5)
(\ADDREF A1)
(\ADDREF A1)
(\DELREF A1)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
0)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
4)
(EQ (GETREF A5)
2))
(\DELREF A5)
(\ADDREF A3)
(\ADDREF A5)
(\ADDREF A5)
(\ADDREF A4)
(\ADDREF A2)
(\DELREF A3)
(\DELREF A5)
(\ADDREF A3)
(\ADDREF A3)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
5)
(EQ (GETREF A4)
5)
(EQ (GETREF A5)
2))
(\ADDREF A4)
(\DELREF A4)
(\ADDREF A4)
(\DELREF A3)
(\ADDREF A3)
(\ADDREF A3)
(\ADDREF A1)
(\ADDREF A2)
(\DELREF A2)
(\ADDREF A1)
(MTCHECK (EQ (GETREF A1)
4)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
6)
(EQ (GETREF A4)
6)
(EQ (GETREF A5)
2))
(\ADDREF A5)
(\DELREF A1)
(\DELREF A5)
(\ADDREF A4)
(\DELREF A1)
(\DELREF A3)
(\DELREF A3)
(\ADDREF A5)
(\DELREF A3)
(\DELREF A3)
(MTCHECK (EQ (GETREF A1)
2)
(EQ (GETREF A2)
1)
(EQ (GETREF A3)
2)
(EQ (GETREF A4)
7)
(EQ (GETREF A5)
3))
(\DELREF A4)
(\ADDREF A1)
(\ADDREF A4)
(\ADDREF A2)
(\DELREF A5)
(\DELREF A4)
(\ADDREF A1)
(\ADDREF A3)
(\ADDREF A4)
(\DELREF A5)
(MTCHECK (EQ (GETREF A1)
4)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
7)
(EQ (GETREF A5)
1))
(\DELREF A2)
(\ADDREF A4)
(\DELREF A1)
(\DELREF A4)
(\DELREF A5)
(\ADDREF A5)
(\ADDREF A1)
(\ADDREF A2)
(\ADDREF A1)
(\ADDREF A5)
(MTCHECK (EQ (GETREF A1)
5)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
7)
(EQ (GETREF A5)
2))
(\DELREF A3)
(\ADDREF A1)
(\ADDREF A2)
(\DELREF A2)
(\DELREF A4)
(\ADDREF A5)
(\DELREF A4)
(\ADDREF A3)
(\DELREF A5)
(\DELREF A4)
(MTCHECK (EQ (GETREF A1)
6)
(EQ (GETREF A2)
2)
(EQ (GETREF A3)
3)
(EQ (GETREF A4)
4)
(EQ (GETREF A5)
2))
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A2)
(\DELREF A3)
(\DELREF A3)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A5])
)
(DEFINEQ
(MINILOGOUT
[LAMBDA NIL (* bvm: "10-OCT-81 17:22")
(* * This one works for hacking in the init.sysout)
(\STOPDISPLAY)
(LOGOUT0)
(\STARTDISPLAY)
(\DEVICEEVENT (QUOTE AFTERLOGOUT])
)
(DECLARE: EVAL@COMPILE DONTCOPY
(RESETSAVE OPTIMIZATIONSOFF T)
(DECLARE: EVAL@COMPILE
(PUTPROPS MTHELP MACRO [X (LIST (QUOTE RAID)
(COND
((CDR X)
(CONS (QUOTE LIST)
X))
(T (CAR X])
(PUTPROPS MTCHECKSTK MACRO [(X . Y)
(OR (EQ (PROG1 227 X . Y)
227)
(RAID (QUOTE (WRONG # PUSHED])
(PUTPROPS CKEQ MACRO ((FORM ANSWER)
(!CKEQ FORM ANSWER (QUOTE FORM))))
(PUTPROPS MTCHECK MACRO [Y (CONS (QUOTE MTCHECKSTK)
(MAPCAR Y (FUNCTION (LAMBDA (X)
(LIST (QUOTE MTCHECK1)
X])
(PUTPROPS MTCHECK1 MACRO [(X)
(OR X (MTHELP (QUOTE (Failed: X])
)
)
(DECLARE: DONTEVAL@LOAD DOCOPY
(!DIAGNOSE)
)
(RPAQQ !MTALLOWINEXACTFLG T)
(PUTPROPS MACROTEST COPYRIGHT ("Xerox Corporation" 1981 1982 1983))
(DECLARE: DONTCOPY
(FILEMAP (NIL (1101 10378 (!DIAGNOSE 1111 . 1406) (!DIAGNOSELP 1408 . 1770) (!INTERPTEST 1772 . 4113)
(!CHECKARGS 4115 . 5587) (!CHECKLSTARARG 5589 . 5769) (!CHECKLSTARSETARG 5771 . 5951) (!CONSTEST 5953
. 8636) (!COPY 8638 . 8834) (!SMASH 8836 . 9086) (CHECKFREELISTS 9088 . 9903) (!CKEQ 9905 . 10376)) (
10422 11526 (FINDPTRINLIST 10432 . 10661) (PPFBL 10663 . 11524)) (11527 82257 (!NUMBERTEST 11537 .
11765) (!NUMTEST1 11767 . 15636) (!NUMTEST2 15638 . 19560) (!NUMTEST3 19562 . 23837) (!NUMTEST4 23839
. 28586) (!NUMTEST5 28588 . 33266) (!NUMTEST6 33268 . 37186) (!RANDNUMTEST 37188 . 38131) (
!RANDNUMTEST1 38133 . 43712) (!RANDNUMTEST2 43714 . 51606) (!RANDNUMTEST3 51608 . 59305) (
!RANDNUMTEST4 59307 . 66577) (!MIXNUMTEST 66579 . 82255)) (82258 126209 (!GCTEST 82268 . 82449) (
!GCTEST0 82451 . 83039) (!GCTEST1 83041 . 84318) (!GCTEST2 84320 . 84727) (!GCTEST3 84729 . 84958) (
!GCTESTSETF 84960 . 95665) (!GCTESTSETG 95667 . 105994) (!GCTEST3D 105996 . 111540) (!GCTEST3C 111542
. 117049) (!GCTEST3B 117051 . 121596) (!GCTEST3A 121598 . 126207)) (126210 126490 (MINILOGOUT 126220
. 126488)))))
STOP