(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