(ASSEMBLE.CLAUSE ( compile←special 3 si ) 101
    (allocate)
    (get.Ai.variable.Yn 1 11)
    (get.Ai.list 3)
    (unify.variable.Xn 1)
    (unify.variable.Yn 8)
    (get.Ai.structure 1 %$ 2)
    (unify.symbol start←calling)
    (unify.structure functor 1)
    (unify.structure %/ 2)
    (unify.local.Xn 2)
    (unify.variable.Yn 9)
    (put.Ai.variable.Yn 3 10)
    (put.Ai.void 2)
    (put.Ai.value.Yn 1 11)
    (functor)
    (put.Ai.variable.Yn 5 1)
    (put.Ai.variable.Yn 4 6)
    (put.Ai.variable.Yn 3 7)
    (put.Ai.value.Yn 2 11)
    (put.Ai.unsafe.Yn 1 10)
    (call 12 dspecial 5 si)
    (put.Ai.value.Yn 3 9)
    (put.Ai.constant 2 0)
    (put.Ai.value.Yn 1 7)
    (call 11 darg←count 3 si)
    (put.Ai.variable.Yn 3 2)
    (put.Ai.constant 2 0)
    (put.Ai.value.Yn 1 6)
    (call 11 darg←count 3 si)
    (put.Ai.structure 1 %$ 2)
    (unify.symbol call←lisp)
    (unify.variable.Yn 4)
    (put.Ai.list 3)
    (unify.value.Xn 1)
    (unify.variable.Yn 5)
    (put.Ai.value.Yn 2 8)
    (put.Ai.unsafe.Yn 1 7)
    (call 9 dspec←plus 3 si)
    (put.Ai.structure 1 %$ 1)
    (unify.symbol proceed)
    (put.Ai.list 3)
    (unify.value.Xn 1)
    (unify.nil)
    (put.Ai.variable.Yn 2 3)
    (put.Ai.unsafe.Yn 1 6)
    (call 8 dspec←minus 3 si)
    (put.Ai.value.Yn 5 5)
    (put.Ai.value.Yn 4 4)
    (put.Ai.unsafe.Yn 3 3)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.unsafe.Yn 1 1)
    (depart dspec←result 5 si)
)

(ASSEMBLE.CLAUSE ( dspecial 5 si ) 9
    (get.Ai.constant 1 0)
    (get.Ai.nil 3)
    (get.Ai.nil 4)
    (get.Ai.constant 5 0)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dspecial 5 si ) 6
    (get.Ai.constant 1 0)
    (get.Ai.nil 3)
    (get.Ai.nil 4)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dspecial 5 si ) 49
    (allocate)
    (get.Ai.variable.Yn 1 5)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 7)
    (get.Ai.variable.Yn 4 8)
    (get.Ai.variable.Yn 5 4)
    (put.Ai.variable.Yn 3 6)
    (put.Ai.value.Yn 2 1)
    (put.Ai.value.Yn 1 5)
    (arg)
    (put.Ai.value.Yn 7 4)
    (put.Ai.variable.Yn 6 3)
    (put.Ai.value.Yn 5 8)
    (put.Ai.variable.Yn 4 2)
    (put.Ai.value.Yn 3 7)
    (put.Ai.value.Yn 2 5)
    (put.Ai.unsafe.Yn 1 6)
    (call 8 darg←type 7 si)
    (load.value.Yn 5)
    (add.neg.word -1)
    (store.variable.Xn 1)
    (put.Ai.value.Yn 5 4)
    (put.Ai.unsafe.Yn 4 3)
    (put.Ai.unsafe.Yn 3 2)
    (put.Ai.value.Yn 2 1)
    (depart dspecial 5 si)
)

(ASSEMBLE.CLAUSE ( darg←type 7 si ) 12
    (get.Ai.structure 1 %+ 1)
    (unify.void 1)
    (get.Ai.list 3)
    (unify.local.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 4 1)
    (get.Ai.value.Xn 6 5)
    (proceed)
)

(ASSEMBLE.CLAUSE ( darg←type 7 si ) 13
    (get.Ai.constant 1 %+)
    (get.Ai.structure 3 %, 2)
    (unify.local.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 4 1)
    (get.Ai.value.Xn 6 5)
    (proceed)
)

(ASSEMBLE.CLAUSE ( darg←type 7 si ) 12
    (get.Ai.structure 1 %- 1)
    (unify.void 1)
    (get.Ai.value.Xn 4 3)
    (get.Ai.list 5)
    (unify.local.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 6 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( darg←type 7 si ) 11
    (get.Ai.constant 1 %-)
    (get.Ai.value.Xn 4 3)
    (get.Ai.list 5)
    (unify.local.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 6 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( darg←type 7 si ) 14
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (unify.nil)
    (get.Ai.structure 1 %- 1)
    (unify.void 1)
    (get.Ai.value.Xn 4 3)
    (get.Ai.value.Xn 6 5)
    (get.Ai.value.Xn 7 2)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( darg←type 7 si ) 11
    (get.Ai.list 1)
    (unify.symbol %-)
    (unify.nil)
    (get.Ai.value.Xn 4 3)
    (get.Ai.value.Xn 6 5)
    (get.Ai.value.Xn 7 2)
    (proceed)
)

(ASSEMBLE.CLAUSE ( darg←count 3 si ) 6
    (get.Ai.constant 1 NIL)
    (get.Ai.value.Xn 3 2)
    (proceed)
)

(ASSEMBLE.CLAUSE ( darg←count 3 si ) 9
    (get.Ai.list 1)
    (unify.void 1)
    (unify.variable.Xn 1)
    (load.value.Xn 2)
    (add.pos.word 1)
    (store.variable.Xn 2)
    (execute darg←count 3 si)
)

(ASSEMBLE.CLAUSE ( darg←count 3 si ) 11
    (get.Ai.structure 1 %, 2)
    (unify.void 1)
    (unify.variable.Xn 1)
    (load.value.Xn 2)
    (add.pos.word 1)
    (store.variable.Xn 2)
    (execute darg←count 3 si)
)

(ASSEMBLE.CLAUSE ( dspec←plus 3 si ) 6
    (get.Ai.constant 1 NIL)
    (get.Ai.value.Xn 3 2)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dspec←plus 3 si ) 16
    (get.Ai.list 1)
    (unify.variable.Xn 6)
    (unify.variable.Xn 1)
    (put.Ai.value.Xn 4 3)
    (put.Ai.structure 5 %$ 2)
    (unify.symbol send←variable←Ai)
    (unify.value.Xn 6)
    (put.Ai.list 3)
    (unify.value.Xn 5)
    (unify.local.Xn 4)
    (execute dspec←plus 3 si)
)

(ASSEMBLE.CLAUSE ( dspec←plus 3 si ) 18
    (get.Ai.structure 1 %, 2)
    (unify.variable.Xn 6)
    (unify.variable.Xn 1)
    (put.Ai.value.Xn 4 3)
    (put.Ai.structure 5 %$ 2)
    (unify.symbol send←direct←Ai)
    (unify.value.Xn 6)
    (put.Ai.list 3)
    (unify.value.Xn 5)
    (unify.local.Xn 4)
    (execute dspec←plus 3 si)
)

(ASSEMBLE.CLAUSE ( dspec←minus 3 si ) 6
    (get.Ai.constant 1 NIL)
    (get.Ai.value.Xn 3 2)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dspec←minus 3 si ) 16
    (get.Ai.list 1)
    (unify.variable.Xn 6)
    (unify.variable.Xn 1)
    (put.Ai.value.Xn 4 3)
    (put.Ai.structure 5 %$ 2)
    (unify.symbol unify←local←Xn)
    (unify.value.Xn 6)
    (put.Ai.list 3)
    (unify.value.Xn 5)
    (unify.local.Xn 4)
    (execute dspec←minus 3 si)
)

(ASSEMBLE.CLAUSE ( dspec←result 5 si ) 21
    (get.Ai.constant 1 0)
    (get.Ai.constant 2 0)
    (get.Ai.constant 4 1)
    (get.Ai.list 5)
    (unify.variable.Xn 1)
    (unify.local.Xn 3)
    (get.Ai.structure 1 %$ 2)
    (unify.symbol unify←void←n)
    (unify.constant 1)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dspec←result 5 si ) 8
    (get.Ai.constant 1 0)
    (get.Ai.value.Xn 4 2)
    (get.Ai.value.Xn 5 3)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dspec←result 5 si ) 14
    (get.Ai.list 5)
    (unify.variable.Xn 5)
    (unify.local.Xn 3)
    (get.Ai.structure 5 %$ 2)
    (unify.symbol unify←local←Xn)
    (unify.local.Xn 1)
    (load.value.Xn 2)
    (add.pos.word 1)
    (store.value.Xn 4)
    (proceed)
)

STOP