(ASSEMBLE.CLAUSE ( loadcode←cassert 2 si ) 34
    (allocate)
    (get.Ai.variable.Yn 2 1)
    (put.Ai.variable.Yn 2 4)
    (call 7 compile 2 si)
    (put.Ai.variable.Yn 4 3)
    (put.Ai.constant 3 2)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.unsafe.Yn 1 4)
    (call 6 assemble 4 si)
    (put.Ai.unsafe.Yn 1 3)
    (call 5 allocate←clause←record 1 si)
    (put.Ai.unsafe.Yn 1 2)
    (call 4 store←instrs 1 si)
    (put.Ai.value.Yn 1 1)
    (depart attach←clause←record 1 si)
)

(ASSEMBLE.CLAUSE ( special←cassert 3 si ) 69
    (allocate)
    (get.Ai.variable.Yn 1 9)
    (get.Ai.variable.Yn 2 8)
    (get.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 3 3)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 8)
    (functor)
    (put.Ai.value.Yn 3 4)
    (put.Ai.value.Yn 2 3)
    (put.Ai.value.Yn 1 2)
    (call 12 abolish 3 si)
    (put.Ai.variable.Yn 3 7)
    (put.Ai.value.Yn 2 9)
    (put.Ai.value.Yn 1 8)
    (call 10 compile←special 3 si)
    (put.Ai.variable.Yn 4 6)
    (put.Ai.constant 3 2)
    (put.Ai.variable.Yn 2 5)
    (put.Ai.unsafe.Yn 1 7)
    (call 9 assemble 4 si)
    (put.Ai.unsafe.Yn 1 6)
    (call 8 allocate←clause←record 1 si)
    (put.Ai.unsafe.Yn 1 5)
    (call 7 store←instrs 1 si)
    (put.Ai.variable.Yn 4 1)
    (put.Ai.value.Yn 3 4)
    (put.Ai.unsafe.Yn 2 3)
    (put.Ai.unsafe.Yn 1 2)
    (call 4 local←predicate 4 si)
    (put.Ai.unsafe.Yn 1 1)
    (depart attach←clause←record 1 si)
)

(ASSEMBLE.CLAUSE ( allocate←clause←record 1 si ) 7
    (start.calling QP%.ALLOCATE%.CLAUSE%.RECORD 1)
    (send.direct.Ai 1)
    (call.lisp 1)
    (unify.void 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( attach←clause←record 1 si ) 7
    (start.calling QP%.ATTACH%.CLAUSE%.RECORD 1)
    (send.direct.Ai 1)
    (call.lisp 1)
    (unify.void 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( c←assert 2 si ) 36
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (get.Ai.variable.Yn 2 5)
    (put.Ai.variable.Yn 2 6)
    (put.Ai.value.Yn 1 1)
    (call 9 head←of←clause 2 si)
    (put.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 2 3)
    (put.Ai.unsafe.Yn 1 6)
    (functor)
    (put.Ai.variable.Yn 4 2)
    (put.Ai.value.Yn 3 5)
    (put.Ai.unsafe.Yn 2 4)
    (put.Ai.unsafe.Yn 1 3)
    (call 5 local←predicate 4 si)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart loadcode←cassert 2 si)
)

(ASSEMBLE.CLAUSE ( store←instrs 1 si ) 4
    (get.Ai.constant 1 NIL)
    (proceed)
)

(ASSEMBLE.CLAUSE ( store←instrs 1 si ) 11
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (allocate)
    (unify.variable.Yn 1)
    (call 4 store←instr 1 si)
    (put.Ai.value.Yn 1 1)
    (depart store←instrs 1 si)
)

(ASSEMBLE.CLAUSE ( store←instr 1 si ) 5
    (get.Ai.structure 1 label 1)
    (unify.void 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( store←instr 1 si ) 6
    (get.Ai.structure 1 %$ 1)
    (unify.variable.Xn 1)
    (execute store←incore 1 si)
)

(ASSEMBLE.CLAUSE ( store←instr 1 si ) 7
    (get.Ai.structure 1 %$ 2)
    (unify.variable.Xn 1)
    (unify.variable.Xn 2)
    (execute store←incore 2 si)
)

(ASSEMBLE.CLAUSE ( store←instr 1 si ) 8
    (get.Ai.structure 1 %$ 3)
    (unify.variable.Xn 1)
    (unify.variable.Xn 2)
    (unify.variable.Xn 3)
    (execute store←incore 3 si)
)

(ASSEMBLE.CLAUSE ( store←instr 1 si ) 9
    (get.Ai.structure 1 %$ 4)
    (unify.variable.Xn 1)
    (unify.variable.Xn 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 4)
    (execute store←incore 4 si)
)

(ASSEMBLE.CLAUSE ( store←instr 1 si ) 10
    (get.Ai.structure 1 %$ 5)
    (unify.variable.Xn 1)
    (unify.variable.Xn 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 4)
    (unify.variable.Xn 5)
    (execute store←incore 5 si)
)

(ASSEMBLE.CLAUSE ( store←incore 1 si ) 7
    (start.calling QP%.STORE%.INCORE 1)
    (send.direct.Ai 1)
    (call.lisp 1)
    (unify.void 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( store←incore 2 si ) 8
    (start.calling QP%.STORE%.INCORE 2)
    (send.direct.Ai 1)
    (send.direct.Ai 2)
    (call.lisp 1)
    (unify.void 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( store←incore 3 si ) 9
    (start.calling QP%.STORE%.INCORE 3)
    (send.direct.Ai 1)
    (send.direct.Ai 2)
    (send.direct.Ai 3)
    (call.lisp 1)
    (unify.void 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( store←incore 4 si ) 10
    (start.calling QP%.STORE%.INCORE 4)
    (send.direct.Ai 1)
    (send.direct.Ai 2)
    (send.direct.Ai 3)
    (send.direct.Ai 4)
    (call.lisp 1)
    (unify.void 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( store←incore 5 si ) 11
    (start.calling QP%.STORE%.INCORE 5)
    (send.direct.Ai 1)
    (send.direct.Ai 2)
    (send.direct.Ai 3)
    (send.direct.Ai 4)
    (send.direct.Ai 5)
    (call.lisp 1)
    (unify.void 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( head←of←clause 2 si ) 8
    (get.Ai.structure 1 %:%- 2)
    (unify.variable.Xn 1)
    (unify.void 1)
    (get.Ai.value.Xn 2 1)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( head←of←clause 2 si ) 3
    (get.Ai.value.Xn 2 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( imported 3 si ) 1
    (fail)
)

STOP