# Last modified on Sun Jul  2 13:32:02 PDT 1995 by heydon
#
# a :: (1, a) = [1, 2] -> Print(Unparse(a))

V0
NIL
V1
(1, (2, NIL))
V2
1
V3
"No solution found to (1, a) = [1, 2]\n"
V4
"\n"

C1

# a = L[1]
.PUSHM3NIL
b1
.PUSHM3NIL
b1
.PUSHG
c2
.PUSHG
c1
.SOLVE
u1
u2
u1
# c = (b, a)
b1
u2
u1
u0
.TJUMP
s3
.JUMP
s31
.POPL
s1
.INCSP
b1
.PUSHL
s1
.CALLEXT
c2
.DECSP
b1
.CALLEXT
c0
.PUSHG
c4
.CALLEXT
c0
.RET
# NOSOLVE:
.PUSHG
c3
.CALLEXT
c0
.RET
END