(ASSEMBLE.CLAUSE ( source←file 1 si ) 22
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (put.Ai.structure 2 source←file 1)
    (unify.local.Yn 1)
    (put.Ai.value.Yn 1 1)
    (call 4 valid←file←spec 2 si)
    (put.Ai.symbol 3 si)
    (put.Ai.void 2)
    (put.Ai.structure 1 source←file←index 2)
    (unify.local.Yn 1)
    (unify.void 1)
    (depart clause←module 3 si)
)

(ASSEMBLE.CLAUSE ( source←file 2 si ) 54
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (get.Ai.variable.Yn 2 5)
    (put.Ai.variable.Yn 1 6)
    (get.Ai.structure 1 source←file 2)
    (unify.local.Yn 1)
    (unify.local.Yn 5)
    (put.Ai.value.Yn 4 6)
    (put.Ai.variable.Yn 3 3)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (call 9 valid←pred←spec 4 si)
    (put.Ai.unsafe.Yn 2 6)
    (put.Ai.value.Yn 1 5)
    (call 8 valid←file←spec 2 si)
    (put.Ai.variable.Yn 1 4)
    (call 8 current←module 1 si)
    (put.Ai.value.Yn 4 5)
    (put.Ai.unsafe.Yn 3 4)
    (put.Ai.value.Yn 2 3)
    (put.Ai.value.Yn 1 2)
    (call 6 source←file 4 si)
    (put.Ai.unsafe.Yn 3 3)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (functor)
    (progress)
)

(ASSEMBLE.CLAUSE ( source←file 4 si ) 44
    (allocate)
    (get.Ai.variable.Yn 1 4)
    (get.Ai.variable.Yn 2 5)
    (get.Ai.variable.Yn 3 6)
    (get.Ai.variable.Yn 4 2)
    (put.Ai.value.Yn 1 4)
    (is.a 128)
    (put.Ai.value.Yn 1 5)
    (is.a 24)
    (body.cut)
    (put.Ai.variable.Yn 4 3)
    (put.Ai.value.Yn 3 6)
    (put.Ai.value.Yn 2 5)
    (put.Ai.value.Yn 1 4)
    (call 6 check←predicate 4 si)
    (put.Ai.variable.Yn 2 1)
    (put.Ai.unsafe.Yn 1 3)
    (call 5 proc←in←file 2 si)
    (put.Ai.symbol 3 si)
    (put.Ai.void 2)
    (put.Ai.structure 1 source←file←index 2)
    (unify.local.Yn 2)
    (unify.local.Yn 1)
    (depart clause←module 3 si)
)

(ASSEMBLE.CLAUSE ( source←file 4 si ) 51
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (get.Ai.variable.Yn 2 2)
    (get.Ai.variable.Yn 3 3)
    (put.Ai.symbol 3 si)
    (put.Ai.void 2)
    (put.Ai.structure 1 source←file←index 2)
    (unify.local.Xn 4)
    (unify.variable.Yn 6)
    (call 9 clause←module 3 si)
    (put.Ai.variable.Yn 1 5)
    (call 9 current←procedure 1 si)
    (put.Ai.value.Yn 2 6)
    (put.Ai.value.Yn 1 5)
    (call 8 proc←in←file 2 si)
    (put.Ai.variable.Yn 4 4)
    (put.Ai.value.Yn 3 2)
    (put.Ai.value.Yn 2 1)
    (put.Ai.unsafe.Yn 1 5)
    (call 7 p←procedure 4 si)
    (put.Ai.unsafe.Yn 4 4)
    (put.Ai.value.Yn 3 3)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart predicate←module 4 si)
)

(ASSEMBLE.CLAUSE ( proc←in←file 2 si ) 15
    (allocate)
    (get.Ai.variable.Yn 2 1)
    (put.Ai.variable.Yn 3 2)
    (put.Ai.constant 2 13)
    (get.word)
    (load.value.Yn 2)
    (load.pos.word 6)
    (right.shift)
    (store.value.Yn 1)
    (progress)
)

(ASSEMBLE.CLAUSE ( proc←in←file 2 si ) 30
    (allocate)
    (get.Ai.variable.Yn 1 2)
    (get.Ai.variable.Yn 2 1)
    (put.Ai.variable.Yn 3 3)
    (put.Ai.constant 2 13)
    (put.Ai.value.Yn 1 2)
    (get.word)
    (load.value.Yn 3)
    (load.pos.word 16)
    (boolean.and)
    (load.pos.word 0)
    (not.equal.to)
    (put.Ai.symbol 3 si)
    (put.Ai.void 2)
    (put.Ai.structure 1 multifile 2)
    (unify.local.Yn 2)
    (unify.local.Yn 1)
    (depart clause←module 3 si)
)

(ASSEMBLE.CLAUSE ( file←index←in←table 2 si ) 17
    (put.Ai.value.Xn 5 1)
    (put.Ai.value.Xn 4 2)
    (allocate)
    (put.Ai.symbol 3 si)
    (put.Ai.void 2)
    (put.Ai.structure 1 source←file←index 2)
    (unify.local.Xn 5)
    (unify.local.Xn 4)
    (call 3 clause←module 3 si)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( file←index←in←table 2 si ) 30
    (allocate)
    (get.Ai.variable.Yn 1 2)
    (get.Ai.variable.Yn 2 1)
    (put.Ai.symbol 3 si)
    (put.Ai.void 2)
    (put.Ai.structure 1 source←file←index 2)
    (unify.void 1)
    (unify.variable.Yn 3)
    (call 6 clause←module 3 si)
    (body.cut)
    (load.value.Yn 3)
    (add.pos.word 1)
    (store.value.Yn 1)
    (put.Ai.symbol 2 si)
    (put.Ai.structure 1 source←file←index 2)
    (unify.local.Yn 2)
    (unify.local.Yn 1)
    (depart asserta←module 2 si)
)

(ASSEMBLE.CLAUSE ( file←index←in←table 2 si ) 16
    (put.Ai.value.Xn 3 1)
    (get.Ai.constant 2 1)
    (put.Ai.symbol 2 si)
    (put.Ai.structure 1 source←file←index 2)
    (unify.local.Xn 3)
    (unify.constant 1)
    (execute asserta←module 2 si)
)

(ASSEMBLE.CLAUSE ( source←file←table 2 si ) 14
    (put.Ai.value.Xn 5 1)
    (put.Ai.value.Xn 4 2)
    (put.Ai.symbol 3 si)
    (put.Ai.void 2)
    (put.Ai.structure 1 source←file←index 2)
    (unify.local.Xn 5)
    (unify.local.Xn 4)
    (execute clause←module 3 si)
)

STOP