(ASSEMBLE.CLAUSE ( maximum←compiled←clause←size 1 si ) 4
    (get.Ai.constant 1 32768)
    (proceed)
)

(ASSEMBLE.CLAUSE ( maximum←number←of←temporaries 1 si ) 4
    (get.Ai.constant 1 255)
    (proceed)
)

(ASSEMBLE.CLAUSE ( maximum←number←of←permanents 1 si ) 4
    (get.Ai.constant 1 255)
    (proceed)
)

(ASSEMBLE.CLAUSE ( maximum←goal←size 1 si ) 4
    (get.Ai.constant 1 255)
    (proceed)
)

(ASSEMBLE.CLAUSE ( coalesce 4 si ) 18
    (get.Ai.constant 1 body←cut)
    (get.Ai.structure 2 %$ 1)
    (unify.void 1)
    (get.Ai.structure 3 %$ 1)
    (unify.symbol progress)
    (get.Ai.structure 4 %$ 1)
    (unify.symbol depart←cut)
    (proceed)
)

(ASSEMBLE.CLAUSE ( coalesce 4 si ) 21
    (get.Ai.constant 1 call)
    (get.Ai.structure 2 %$ 3)
    (unify.void 1)
    (unify.variable.Xn 1)
    (unify.void 1)
    (get.Ai.structure 3 %$ 1)
    (unify.symbol proceed)
    (get.Ai.structure 4 %$ 2)
    (unify.symbol execute)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( coalesce 4 si ) 21
    (get.Ai.constant 1 call)
    (get.Ai.structure 2 %$ 3)
    (unify.void 1)
    (unify.variable.Xn 1)
    (unify.void 1)
    (get.Ai.structure 3 %$ 1)
    (unify.symbol progress)
    (get.Ai.structure 4 %$ 2)
    (unify.symbol depart)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( coalesce 4 si ) 16
    (get.Ai.constant 1 fail)
    (get.Ai.structure 2 %$ 1)
    (unify.void 1)
    (put.Ai.value.Xn 1 3)
    (get.Ai.structure 4 %$ 1)
    (unify.symbol fail)
    (execute nonlabel 1 si)
)

(ASSEMBLE.CLAUSE ( coalesce 4 si ) 18
    (get.Ai.constant 1 head←cut)
    (get.Ai.structure 2 %$ 1)
    (unify.void 1)
    (get.Ai.structure 3 %$ 1)
    (unify.symbol proceed)
    (get.Ai.structure 4 %$ 1)
    (unify.symbol cut←proceed)
    (proceed)
)

(ASSEMBLE.CLAUSE ( coalesce 4 si ) 16
    (get.Ai.constant 1 label)
    (get.Ai.structure 2 label 1)
    (unify.variable.Xn 1)
    (get.Ai.structure 3 label 1)
    (unify.value.Xn 1)
    (get.Ai.structure 4 label 1)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( coalesce 4 si ) 21
    (get.Ai.constant 1 or←finally)
    (get.Ai.structure 2 %$ 1)
    (unify.void 1)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol either)
    (unify.void 1)
    (unify.variable.Xn 1)
    (get.Ai.structure 4 %$ 2)
    (unify.symbol or)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( coalesce 4 si ) 10
    (get.Ai.constant 1 resume)
    (get.Ai.structure 2 %$ 1)
    (unify.void 1)
    (get.Ai.value.Xn 4 3)
    (proceed)
)

(ASSEMBLE.CLAUSE ( coalesce 4 si ) 20
    (get.Ai.constant 1 unify←variable←Xn)
    (get.Ai.structure 2 %$ 2)
    (unify.void 1)
    (unify.variable.Xn 1)
    (get.Ai.structure 3 %$ 2)
    (unify.symbol get←Ai←list)
    (unify.value.Xn 1)
    (get.Ai.structure 4 %$ 1)
    (unify.symbol unify←list)
    (proceed)
)

(ASSEMBLE.CLAUSE ( coalesce 4 si ) 22
    (get.Ai.constant 1 unify←variable←Xn)
    (get.Ai.structure 2 %$ 2)
    (unify.void 1)
    (unify.variable.Xn 1)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol get←Ai←structure)
    (unify.value.Xn 1)
    (unify.variable.Xn 1)
    (get.Ai.structure 4 %$ 2)
    (unify.symbol unify←structure)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( assemble←instr 5 si ) 19
    (get.Ai.structure 1 label 1)
    (unify.variable.Xn 6)
    (get.Ai.value.Xn 2 6)
    (get.Ai.value.Xn 3 6)
    (put.Ai.value.Xn 1 4)
    (put.Ai.value.Xn 3 5)
    (head.cut)
    (put.Ai.structure 2 label 1)
    (unify.value.Xn 6)
    (execute C 3 si)
)

(ASSEMBLE.CLAUSE ( assemble←instr 5 si ) 20
    (allocate)
    (get.Ai.variable.Yn 2 3)
    (get.Ai.variable.Yn 3 1)
    (put.Ai.value.Xn 3 4)
    (put.Ai.value.Xn 4 5)
    (put.Ai.variable.Yn 2 2)
    (call 6 emit←instr 4 si)
    (body.cut)
    (load.value.Yn 3)
    (load.value.Yn 2)
    (add)
    (store.value.Yn 1)
    (progress)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 1)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←extend 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 1)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←byte 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 2)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←extend←word 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 2)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←procedure 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 2)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←offset 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 2)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←byte←byte 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 2)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←byte←atom 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 2)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←atom 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 3)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←size←procedure 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 3)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←size←offset 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 3)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←byte←cell 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 3)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←extend←cell 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 9
    (get.Ai.constant 2 3)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute op←functor 3 si)
)

(ASSEMBLE.CLAUSE ( emit←instr 4 si ) 25
    (allocate)
    (get.Ai.variable.Yn 2 2)
    (get.Ai.variable.Yn 3 3)
    (get.Ai.variable.Yn 4 4)
    (put.Ai.variable.Yn 2 1)
    (call 7 unportmanteau 2 si)
    (put.Ai.value.Yn 5 4)
    (put.Ai.value.Yn 4 3)
    (put.Ai.value.Yn 3 2)
    (put.Ai.constant 2 0)
    (put.Ai.unsafe.Yn 1 1)
    (depart assemble←instrs 5 si)
)

(ASSEMBLE.CLAUSE ( assemble←instrs 5 si ) 8
    (get.Ai.constant 1 NIL)
    (get.Ai.value.Xn 3 2)
    (get.Ai.value.Xn 5 4)
    (proceed)
)

(ASSEMBLE.CLAUSE ( assemble←instrs 5 si ) 27
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (allocate)
    (unify.variable.Yn 1)
    (get.Ai.variable.Yn 3 3)
    (get.Ai.variable.Yn 5 5)
    (put.Ai.variable.Yn 5 4)
    (put.Ai.variable.Yn 3 2)
    (call 8 assemble←instr 5 si)
    (put.Ai.value.Yn 5 5)
    (put.Ai.unsafe.Yn 4 4)
    (put.Ai.value.Yn 3 3)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart assemble←instrs 5 si)
)

(ASSEMBLE.CLAUSE ( op←extend 3 si ) 18
    (get.Ai.structure 1 %$ 2)
    (unify.symbol unify←constant)
    (unify.structure constant 1)
    (unify.nil)
    (put.Ai.value.Xn 1 2)
    (put.Ai.structure 2 %$ 1)
    (unify.symbol unify%.nil)
    (execute C 3 si)
)

(ASSEMBLE.CLAUSE ( op←extend 3 si ) 26
    (get.Ai.structure 1 %$ 1)
    (unify.variable.Xn 1)
    (allocate)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 3)
    (put.Ai.variable.Yn 2 2)
    (call 6 dmot 2 si)
    (put.Ai.value.Yn 3 3)
    (put.Ai.structure 2 %$ 2)
    (unify.symbol is%.a)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( op←extend 3 si ) 24
    (get.Ai.structure 1 %$ 1)
    (unify.variable.Xn 1)
    (allocate)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 3)
    (put.Ai.variable.Yn 2 2)
    (call 6 dmo0 2 si)
    (put.Ai.value.Yn 3 3)
    (put.Ai.structure 2 %$ 1)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dmot 2 si ) 7
    (get.Ai.constant 1 is←var)
    (get.Ai.constant 2 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmot 2 si ) 7
    (get.Ai.constant 1 is←nonvar)
    (get.Ai.constant 2 254)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmot 2 si ) 7
    (get.Ai.constant 1 is←atomic)
    (get.Ai.constant 2 248)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmot 2 si ) 7
    (get.Ai.constant 1 is←atom)
    (get.Ai.constant 2 128)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmot 2 si ) 7
    (get.Ai.constant 1 is←integer)
    (get.Ai.constant 2 24)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmot 2 si ) 7
    (get.Ai.constant 1 is←float)
    (get.Ai.constant 2 32)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmot 2 si ) 7
    (get.Ai.constant 1 is←number)
    (get.Ai.constant 2 56)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmot 2 si ) 7
    (get.Ai.constant 1 is←compound)
    (get.Ai.constant 2 6)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmot 2 si ) 7
    (get.Ai.constant 1 is←simple)
    (get.Ai.constant 2 249)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 allocate)
    (get.Ai.symbol 2 allocate)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 proceed)
    (get.Ai.symbol 2 proceed)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 progress)
    (get.Ai.symbol 2 progress)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 deallocate)
    (get.Ai.symbol 2 deallocate)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 depart←cut)
    (get.Ai.symbol 2 depart%.cut)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 cut←proceed)
    (get.Ai.symbol 2 cut%.proceed)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 head←cut)
    (get.Ai.symbol 2 head%.cut)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 body←cut)
    (get.Ai.symbol 2 body%.cut)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 cut←to←choice←point)
    (get.Ai.symbol 2 cut%.to%.choice%.point)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 or←finally)
    (get.Ai.symbol 2 or%.finally)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 fail)
    (get.Ai.symbol 2 fail)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 stop)
    (get.Ai.symbol 2 stop)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 unify←nil)
    (get.Ai.symbol 2 unify%.nil)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 unify←list)
    (get.Ai.symbol 2 unify%.list)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 functor)
    (get.Ai.symbol 2 functor)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 compare)
    (get.Ai.symbol 2 compare)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 add)
    (get.Ai.symbol 2 add)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 subtract)
    (get.Ai.symbol 2 subtract)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 multiply)
    (get.Ai.symbol 2 multiply)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 integer←divide)
    (get.Ai.symbol 2 integer%.divide)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 modulus)
    (get.Ai.symbol 2 modulus)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 left←shift)
    (get.Ai.symbol 2 left%.shift)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 right←shift)
    (get.Ai.symbol 2 right%.shift)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 boolean←and)
    (get.Ai.symbol 2 boolean%.and)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 boolean←or)
    (get.Ai.symbol 2 boolean%.or)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 boolean←not)
    (get.Ai.symbol 2 boolean%.not)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 minus)
    (get.Ai.symbol 2 minus)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 equal←to)
    (get.Ai.symbol 2 equal%.to)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 not←equal←to)
    (get.Ai.symbol 2 not%.equal%.to)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 less←than)
    (get.Ai.symbol 2 less%.than)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 not←less←than)
    (get.Ai.symbol 2 not%.less%.than)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 greater←than)
    (get.Ai.symbol 2 greater%.than)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 not←greater←than)
    (get.Ai.symbol 2 not%.greater%.than)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 get←word)
    (get.Ai.symbol 2 get%.word)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 put←word)
    (get.Ai.symbol 2 put%.word)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 get←addr)
    (get.Ai.symbol 2 get%.addr)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 put←addr)
    (get.Ai.symbol 2 put%.addr)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 load←choice←point)
    (get.Ai.symbol 2 load%.choice%.point)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 load←cur←clause)
    (get.Ai.symbol 2 load%.cur%.clause)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 arg)
    (get.Ai.symbol 2 arg)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 interpret←me)
    (get.Ai.symbol 2 interpret%.me)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 store←skeleton)
    (get.Ai.symbol 2 store%.skeleton)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 skeleton←size)
    (get.Ai.symbol 2 skeleton%.size)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 ignore←me)
    (get.Ai.symbol 2 ignore%.me)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 ignore←me←but←keep←me)
    (get.Ai.symbol 2 ignore%.me%.but%.keep%.me)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 is←float)
    (get.Ai.symbol 2 is%.float)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 is←number)
    (get.Ai.symbol 2 is%.number)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 divide)
    (get.Ai.symbol 2 divide)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 float)
    (get.Ai.symbol 2 float)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 fix)
    (get.Ai.symbol 2 fix)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo0 2 si ) 6
    (get.Ai.constant 1 raw←float)
    (get.Ai.symbol 2 raw%.float)
    (proceed)
)

(ASSEMBLE.CLAUSE ( op←byte 3 si ) 36
    (get.Ai.structure 1 %$ 3)
    (unify.symbol put←Ai←constant)
    (unify.variable.Xn 1)
    (allocate)
    (unify.variable.Yn 4)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 3)
    (put.Ai.variable.Yn 2 2)
    (call 7 integer 2 si)
    (put.Ai.symbol 2 nil)
    (put.Ai.value.Yn 1 4)
    (call 6 arg←type 2 si)
    (put.Ai.value.Yn 3 3)
    (put.Ai.structure 2 %$ 2)
    (unify.symbol put%.Ai%.nil)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( op←byte 3 si ) 51
    (get.Ai.structure 1 %$ 3)
    (allocate)
    (unify.variable.Yn 4)
    (unify.variable.Yn 5)
    (unify.variable.Xn 1)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 3)
    (put.Ai.symbol 2 nil)
    (call 8 arg←type 2 si)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 5)
    (call 8 integer 2 si)
    (load.value.Yn 2)
    (load.pos.word 1)
    (not.equal.to)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 5)
    (call 7 integer 2 si)
    (put.Ai.value.Yn 1 4)
    (call 6 dmogc 1 si)
    (put.Ai.value.Yn 3 3)
    (put.Ai.structure 2 %$ 2)
    (unify.symbol get%.Ai%.nil)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( op←byte 3 si ) 33
    (get.Ai.structure 1 %$ 2)
    (allocate)
    (unify.variable.Yn 5)
    (unify.variable.Xn 1)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 2 2)
    (call 8 integer 2 si)
    (put.Ai.variable.Yn 2 3)
    (put.Ai.value.Yn 1 5)
    (call 7 dmo1 2 si)
    (put.Ai.value.Yn 3 4)
    (put.Ai.structure 2 %$ 2)
    (unify.local.Yn 3)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dmogc 1 si ) 4
    (get.Ai.constant 1 get←Ai←constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmogc 1 si ) 4
    (get.Ai.constant 1 get←An←constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 initialize←Yn)
    (get.Ai.symbol 2 initialize%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 put←Ai←void)
    (get.Ai.symbol 2 put%.Ai%.void)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 put←Ai←nil)
    (get.Ai.symbol 2 put%.Ai%.nil)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 put←Ai←list)
    (get.Ai.symbol 2 put%.Ai%.list)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 get←Ai←nil)
    (get.Ai.symbol 2 get%.Ai%.nil)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 get←Ai←list)
    (get.Ai.symbol 2 get%.Ai%.list)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 unify←void←n)
    (get.Ai.symbol 2 unify%.void)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 unify←variable←Xn)
    (get.Ai.symbol 2 unify%.variable%.Xn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 unify←variable←Yn)
    (get.Ai.symbol 2 unify%.variable%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 unify←value←Xn)
    (get.Ai.symbol 2 unify%.value%.Xn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 unify←value←Yn)
    (get.Ai.symbol 2 unify%.value%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 unify←local←Xn)
    (get.Ai.symbol 2 unify%.local%.Xn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 unify←local←Yn)
    (get.Ai.symbol 2 unify%.local%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 load←value←Xn)
    (get.Ai.symbol 2 load%.value%.Xn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 load←value←Yn)
    (get.Ai.symbol 2 load%.value%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 store←variable←Xn)
    (get.Ai.symbol 2 store%.variable%.Xn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 store←variable←Yn)
    (get.Ai.symbol 2 store%.variable%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 store←value←Xn)
    (get.Ai.symbol 2 store%.value%.Xn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 store←value←Yn)
    (get.Ai.symbol 2 store%.value%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 call←lisp)
    (get.Ai.symbol 2 call%.lisp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 send←variable←Ai)
    (get.Ai.symbol 2 send%.variable%.Ai)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo1 2 si ) 6
    (get.Ai.constant 1 send←direct←Ai)
    (get.Ai.symbol 2 send%.direct%.Ai)
    (proceed)
)

(ASSEMBLE.CLAUSE ( op←extend←word 3 si ) 35
    (get.Ai.structure 1 %$ 2)
    (unify.variable.Xn 1)
    (allocate)
    (unify.variable.Yn 5)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 3 3)
    (put.Ai.value.Yn 2 5)
    (call 8 dmw1 3 si)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 5)
    (call 7 dmarg 2 si)
    (put.Ai.value.Yn 3 4)
    (put.Ai.structure 2 %$ 2)
    (unify.local.Yn 3)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dmw1 3 si ) 11
    (get.Ai.constant 1 unify←constant)
    (put.Ai.value.Xn 1 2)
    (get.Ai.symbol 3 unify%.symbol)
    (put.Ai.symbol 2 atom)
    (execute arg←type 2 si)
)

(ASSEMBLE.CLAUSE ( dmw1 3 si ) 22
    (get.Ai.constant 1 load←integer)
    (put.Ai.value.Xn 1 2)
    (get.Ai.symbol 3 load%.pos%.word)
    (allocate)
    (put.Ai.variable.Yn 2 1)
    (call 4 integer 2 si)
    (load.value.Yn 1)
    (load.pos.word 0)
    (not.less.than)
    (load.value.Yn 1)
    (load.pos.word 65535)
    (not.greater.than)
    (progress)
)

(ASSEMBLE.CLAUSE ( dmw1 3 si ) 23
    (get.Ai.constant 1 load←integer)
    (put.Ai.value.Xn 1 2)
    (get.Ai.symbol 3 load%.neg%.word)
    (allocate)
    (put.Ai.variable.Yn 2 1)
    (call 4 integer 2 si)
    (load.value.Yn 1)
    (load.pos.word 0)
    (less.than)
    (load.value.Yn 1)
    (load.constant -65536)
    (not.less.than)
    (progress)
)

(ASSEMBLE.CLAUSE ( dmw1 3 si ) 22
    (get.Ai.constant 1 add←integer)
    (put.Ai.value.Xn 1 2)
    (get.Ai.symbol 3 add%.pos%.word)
    (allocate)
    (put.Ai.variable.Yn 2 1)
    (call 4 integer 2 si)
    (load.value.Yn 1)
    (load.pos.word 0)
    (not.less.than)
    (load.value.Yn 1)
    (load.pos.word 65535)
    (not.greater.than)
    (progress)
)

(ASSEMBLE.CLAUSE ( dmw1 3 si ) 23
    (get.Ai.constant 1 add←integer)
    (put.Ai.value.Xn 1 2)
    (get.Ai.symbol 3 add%.neg%.word)
    (allocate)
    (put.Ai.variable.Yn 2 1)
    (call 4 integer 2 si)
    (load.value.Yn 1)
    (load.pos.word 0)
    (less.than)
    (load.value.Yn 1)
    (load.constant -65536)
    (not.less.than)
    (progress)
)

(ASSEMBLE.CLAUSE ( op←procedure 3 si ) 44
    (get.Ai.structure 1 %$ 2)
    (unify.variable.Xn 1)
    (unify.structure predicate 1)
    (unify.structure %/ 2)
    (allocate)
    (unify.variable.Yn 4)
    (unify.variable.Yn 3)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 6)
    (put.Ai.variable.Yn 2 5)
    (call 9 dmop 2 si)
    (put.Ai.variable.Yn 3 2)
    (put.Ai.value.Yn 2 3)
    (put.Ai.value.Yn 1 4)
    (call 9 predicate←home 3 si)
    (put.Ai.value.Yn 3 6)
    (put.Ai.structure 2 %$ 4)
    (unify.local.Yn 5)
    (unify.value.Yn 4)
    (unify.value.Yn 3)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dmop 2 si ) 6
    (get.Ai.constant 1 execute)
    (get.Ai.symbol 2 execute)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmop 2 si ) 6
    (get.Ai.constant 1 trap)
    (get.Ai.symbol 2 trap)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmop 2 si ) 6
    (get.Ai.constant 1 depart)
    (get.Ai.symbol 2 depart)
    (proceed)
)

(ASSEMBLE.CLAUSE ( op←offset 3 si ) 33
    (get.Ai.structure 1 %$ 2)
    (unify.variable.Xn 1)
    (unify.structure relative 1)
    (unify.structure %- 2)
    (allocate)
    (unify.variable.Yn 2)
    (unify.void 1)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 2 3)
    (call 7 dmoa 2 si)
    (put.Ai.value.Yn 3 4)
    (put.Ai.structure 2 %$ 2)
    (unify.local.Yn 3)
    (unify.value.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dmoa 2 si ) 6
    (get.Ai.constant 1 or)
    (get.Ai.symbol 2 or)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmoa 2 si ) 6
    (get.Ai.constant 1 jump←to)
    (get.Ai.symbol 2 jump%.to)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmoa 2 si ) 6
    (get.Ai.constant 1 equal←to←else)
    (get.Ai.symbol 2 equal%.to%.else)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmoa 2 si ) 6
    (get.Ai.constant 1 not←equal←to←else)
    (get.Ai.symbol 2 not%.equal%.to%.else)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmoa 2 si ) 6
    (get.Ai.constant 1 less←than←else)
    (get.Ai.symbol 2 less%.than%.else)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmoa 2 si ) 6
    (get.Ai.constant 1 not←less←than←else)
    (get.Ai.symbol 2 not%.less%.than%.else)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmoa 2 si ) 6
    (get.Ai.constant 1 greater←than←else)
    (get.Ai.symbol 2 greater%.than%.else)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmoa 2 si ) 6
    (get.Ai.constant 1 not←greater←than←else)
    (get.Ai.symbol 2 not%.greater%.than%.else)
    (proceed)
)

(ASSEMBLE.CLAUSE ( op←byte←byte 3 si ) 42
    (get.Ai.structure 1 %$ 3)
    (allocate)
    (unify.variable.Yn 7)
    (unify.variable.Xn 1)
    (unify.variable.Yn 6)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 5)
    (put.Ai.variable.Yn 2 3)
    (call 10 integer 2 si)
    (put.Ai.variable.Yn 2 4)
    (put.Ai.value.Yn 1 7)
    (call 9 dmo2 2 si)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 6)
    (call 8 dmarg 2 si)
    (put.Ai.value.Yn 3 5)
    (put.Ai.structure 2 %$ 3)
    (unify.local.Yn 4)
    (unify.local.Yn 3)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dmo2 2 si ) 6
    (get.Ai.constant 1 put←Ai←variable←Yn)
    (get.Ai.symbol 2 put%.Ai%.variable%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo2 2 si ) 6
    (get.Ai.constant 1 put←Ai←value←Xn)
    (get.Ai.symbol 2 put%.Ai%.value%.Xn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo2 2 si ) 6
    (get.Ai.constant 1 put←Ai←value←Yn)
    (get.Ai.symbol 2 put%.Ai%.value%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo2 2 si ) 6
    (get.Ai.constant 1 put←Ai←unsafe←Yn)
    (get.Ai.symbol 2 put%.Ai%.unsafe%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo2 2 si ) 6
    (get.Ai.constant 1 get←Ai←variable←Yn)
    (get.Ai.symbol 2 get%.Ai%.variable%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo2 2 si ) 6
    (get.Ai.constant 1 get←Ai←value←Xn)
    (get.Ai.symbol 2 get%.Ai%.value%.Xn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmo2 2 si ) 6
    (get.Ai.constant 1 get←Ai←value←Yn)
    (get.Ai.symbol 2 get%.Ai%.value%.Yn)
    (proceed)
)

(ASSEMBLE.CLAUSE ( op←byte←atom 3 si ) 46
    (get.Ai.structure 1 %$ 3)
    (unify.symbol put←Ai←constant)
    (allocate)
    (unify.variable.Yn 6)
    (unify.variable.Yn 5)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 4)
    (put.Ai.symbol 2 atom)
    (put.Ai.value.Yn 1 5)
    (call 9 arg←type 2 si)
    (put.Ai.variable.Yn 2 3)
    (put.Ai.value.Yn 1 6)
    (call 8 integer 2 si)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 5)
    (call 7 dmarg 2 si)
    (put.Ai.value.Yn 3 4)
    (put.Ai.structure 2 %$ 3)
    (unify.symbol put%.Ai%.symbol)
    (unify.local.Yn 3)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( op←byte←atom 3 si ) 54
    (get.Ai.structure 1 %$ 3)
    (allocate)
    (unify.variable.Yn 6)
    (unify.variable.Yn 7)
    (unify.variable.Yn 5)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 4)
    (put.Ai.symbol 2 atom)
    (put.Ai.value.Yn 1 5)
    (call 10 arg←type 2 si)
    (put.Ai.variable.Yn 2 3)
    (put.Ai.value.Yn 1 7)
    (call 9 integer 2 si)
    (load.value.Yn 3)
    (load.pos.word 1)
    (not.equal.to)
    (put.Ai.value.Yn 1 6)
    (call 8 dmogc 1 si)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 5)
    (call 7 dmarg 2 si)
    (put.Ai.value.Yn 3 4)
    (put.Ai.structure 2 %$ 3)
    (unify.symbol get%.Ai%.symbol)
    (unify.local.Yn 3)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( op←atom 3 si ) 37
    (get.Ai.structure 1 %$ 2)
    (unify.symbol unify←constant)
    (allocate)
    (unify.variable.Yn 4)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 3)
    (put.Ai.symbol 2 atom)
    (put.Ai.value.Yn 1 4)
    (call 7 arg←type 2 si)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 4)
    (call 6 dmarg 2 si)
    (put.Ai.value.Yn 3 3)
    (put.Ai.structure 2 %$ 2)
    (unify.symbol unify%.symbol)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( op←atom 3 si ) 27
    (get.Ai.structure 1 %$ 1)
    (unify.variable.Xn 1)
    (allocate)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 3 2)
    (put.Ai.variable.Yn 2 3)
    (call 7 quick←hack 3 si)
    (put.Ai.value.Yn 3 4)
    (put.Ai.structure 2 %$ 2)
    (unify.local.Yn 3)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( quick←hack 3 si ) 9
    (get.Ai.structure 1 gettopval 1)
    (unify.variable.Xn 1)
    (get.Ai.symbol 2 gettopval)
    (get.Ai.value.Xn 3 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( quick←hack 3 si ) 9
    (get.Ai.structure 1 settopval 1)
    (unify.variable.Xn 1)
    (get.Ai.symbol 2 settopval)
    (get.Ai.value.Xn 3 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( op←size←procedure 3 si ) 53
    (get.Ai.structure 1 %$ 3)
    (allocate)
    (unify.variable.Yn 8)
    (unify.variable.Xn 4)
    (unify.variable.Xn 1)
    (get.Ai.structure 4 predicate 1)
    (unify.structure %/ 2)
    (unify.variable.Yn 4)
    (unify.variable.Yn 3)
    (get.Ai.structure 1 offset 1)
    (unify.variable.Yn 5)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 7)
    (put.Ai.variable.Yn 3 2)
    (put.Ai.value.Yn 2 3)
    (put.Ai.value.Yn 1 4)
    (call 11 predicate←home 3 si)
    (put.Ai.variable.Yn 2 6)
    (put.Ai.value.Yn 1 8)
    (call 10 dmoP 2 si)
    (put.Ai.value.Yn 3 7)
    (put.Ai.structure 2 %$ 5)
    (unify.local.Yn 6)
    (unify.value.Yn 5)
    (unify.value.Yn 4)
    (unify.value.Yn 3)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dmoP 2 si ) 6
    (get.Ai.constant 1 call)
    (get.Ai.symbol 2 call)
    (proceed)
)

(ASSEMBLE.CLAUSE ( op←size←offset 3 si ) 40
    (get.Ai.structure 1 %$ 3)
    (unify.variable.Xn 1)
    (unify.variable.Xn 5)
    (unify.variable.Xn 4)
    (get.Ai.structure 5 offset 1)
    (allocate)
    (unify.variable.Yn 3)
    (get.Ai.structure 4 relative 1)
    (unify.structure %- 2)
    (unify.variable.Yn 2)
    (unify.void 1)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 5)
    (put.Ai.variable.Yn 2 4)
    (call 8 dmoA 2 si)
    (put.Ai.value.Yn 3 5)
    (put.Ai.structure 2 %$ 3)
    (unify.local.Yn 4)
    (unify.value.Yn 3)
    (unify.value.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dmoA 2 si ) 6
    (get.Ai.constant 1 either)
    (get.Ai.symbol 2 either)
    (proceed)
)

(ASSEMBLE.CLAUSE ( op←byte←cell 3 si ) 53
    (get.Ai.structure 1 %$ 3)
    (allocate)
    (unify.variable.Yn 8)
    (unify.variable.Yn 7)
    (unify.variable.Yn 6)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 5)
    (put.Ai.variable.Yn 2 9)
    (put.Ai.value.Yn 1 6)
    (call 12 arg←type 2 si)
    (put.Ai.variable.Yn 3 4)
    (put.Ai.unsafe.Yn 2 9)
    (put.Ai.value.Yn 1 8)
    (call 10 dm2c 3 si)
    (put.Ai.variable.Yn 2 3)
    (put.Ai.value.Yn 1 7)
    (call 9 integer 2 si)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 6)
    (call 8 dmarg 2 si)
    (put.Ai.value.Yn 3 5)
    (put.Ai.structure 2 %$ 3)
    (unify.local.Yn 4)
    (unify.local.Yn 3)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( op←byte←cell 3 si ) 43
    (get.Ai.structure 1 %$ 3)
    (unify.variable.Xn 1)
    (allocate)
    (unify.variable.Yn 7)
    (unify.structure functor 1)
    (unify.structure %/ 2)
    (unify.variable.Yn 3)
    (unify.variable.Yn 2)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 6)
    (put.Ai.variable.Yn 2 5)
    (call 10 dmoF 2 si)
    (put.Ai.variable.Yn 2 4)
    (put.Ai.value.Yn 1 7)
    (call 9 dmarg 2 si)
    (put.Ai.value.Yn 3 6)
    (put.Ai.structure 2 %$ 4)
    (unify.local.Yn 5)
    (unify.local.Yn 4)
    (unify.value.Yn 3)
    (unify.value.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dm2c 3 si ) 6
    (get.Ai.constant 1 put←Ai←constant)
    (get.Ai.symbol 3 put%.Ai%.constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm2c 3 si ) 8
    (get.Ai.constant 1 get←Ai←constant)
    (get.Ai.symbol 2 atom)
    (get.Ai.symbol 3 get%.Ai%.constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm2c 3 si ) 8
    (get.Ai.constant 1 get←Ai←constant)
    (get.Ai.symbol 2 immed)
    (get.Ai.symbol 3 get%.Ai%.constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm2c 3 si ) 8
    (get.Ai.constant 1 get←Ai←constant)
    (get.Ai.symbol 2 nil)
    (get.Ai.symbol 3 get%.Ai%.constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm2c 3 si ) 8
    (get.Ai.constant 1 get←Ai←constant)
    (get.Ai.symbol 2 boxed)
    (get.Ai.symbol 3 get%.Ai%.boxed)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm2c 3 si ) 8
    (get.Ai.constant 1 get←Ai←constant)
    (get.Ai.symbol 2 float)
    (get.Ai.symbol 3 get%.Ai%.float)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm2c 3 si ) 8
    (get.Ai.constant 1 get←An←constant)
    (get.Ai.symbol 2 immed)
    (get.Ai.symbol 3 get%.Ai%.constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm2c 3 si ) 8
    (get.Ai.constant 1 get←An←constant)
    (get.Ai.symbol 2 nil)
    (get.Ai.symbol 3 get%.Ai%.constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm2c 3 si ) 8
    (get.Ai.constant 1 get←An←constant)
    (get.Ai.symbol 2 boxed)
    (get.Ai.symbol 3 get%.Ai%.boxed)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm2c 3 si ) 8
    (get.Ai.constant 1 get←An←constant)
    (get.Ai.symbol 2 float)
    (get.Ai.symbol 3 get%.Ai%.float)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmoF 2 si ) 6
    (get.Ai.constant 1 put←Ai←structure)
    (get.Ai.symbol 2 put%.Ai%.structure)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmoF 2 si ) 6
    (get.Ai.constant 1 get←Ai←structure)
    (get.Ai.symbol 2 get%.Ai%.structure)
    (proceed)
)

(ASSEMBLE.CLAUSE ( op←extend←cell 3 si ) 44
    (get.Ai.structure 1 %$ 2)
    (allocate)
    (unify.variable.Yn 5)
    (unify.variable.Yn 7)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 2 6)
    (put.Ai.value.Yn 1 7)
    (call 10 arg←type 2 si)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 7)
    (call 9 dmarg 2 si)
    (put.Ai.variable.Yn 3 3)
    (put.Ai.unsafe.Yn 2 6)
    (put.Ai.value.Yn 1 5)
    (call 7 dm1c 3 si)
    (put.Ai.value.Yn 3 4)
    (put.Ai.structure 2 %$ 2)
    (unify.local.Yn 3)
    (unify.local.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dm1c 3 si ) 8
    (get.Ai.constant 1 unify←constant)
    (get.Ai.symbol 2 immed)
    (get.Ai.symbol 3 unify%.constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm1c 3 si ) 8
    (get.Ai.constant 1 unify←constant)
    (get.Ai.symbol 2 boxed)
    (get.Ai.symbol 3 unify%.boxed)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm1c 3 si ) 8
    (get.Ai.constant 1 unify←constant)
    (get.Ai.symbol 2 float)
    (get.Ai.symbol 3 unify%.float)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm1c 3 si ) 8
    (get.Ai.constant 1 load←long←integer)
    (get.Ai.symbol 2 atom)
    (get.Ai.symbol 3 load%.pvar%.address)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dm1c 3 si ) 6
    (get.Ai.constant 1 load←long←integer)
    (get.Ai.symbol 3 load%.constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm1c 3 si ) 6
    (get.Ai.constant 1 store←integer)
    (get.Ai.symbol 3 store%.integer)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm1c 3 si ) 8
    (get.Ai.constant 1 load←float)
    (get.Ai.symbol 2 float)
    (get.Ai.symbol 3 load%.constant)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dm1c 3 si ) 8
    (get.Ai.constant 1 store←float)
    (get.Ai.symbol 2 float)
    (get.Ai.symbol 3 store%.float)
    (proceed)
)

(ASSEMBLE.CLAUSE ( op←functor 3 si ) 34
    (get.Ai.structure 1 %$ 2)
    (unify.variable.Xn 1)
    (unify.structure functor 1)
    (unify.structure %/ 2)
    (allocate)
    (unify.variable.Yn 3)
    (unify.variable.Yn 2)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 5)
    (put.Ai.variable.Yn 2 4)
    (call 8 dmof 2 si)
    (put.Ai.value.Yn 3 5)
    (put.Ai.structure 2 %$ 3)
    (unify.local.Yn 4)
    (unify.value.Yn 3)
    (unify.value.Yn 2)
    (put.Ai.value.Yn 1 1)
    (depart C 3 si)
)

(ASSEMBLE.CLAUSE ( dmof 2 si ) 6
    (get.Ai.constant 1 unify←structure)
    (get.Ai.symbol 2 unify%.structure)
    (proceed)
)

(ASSEMBLE.CLAUSE ( dmof 2 si ) 6
    (get.Ai.constant 1 start←calling)
    (get.Ai.symbol 2 start%.calling)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 18
    (get.Ai.structure 1 %$ 3)
    (unify.symbol get←Ai←variable←Xn)
    (unify.variable.Xn 1)
    (unify.variable.Xn 3)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol put←Ai←value←Xn)
    (unify.value.Xn 3)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 28
    (get.Ai.structure 1 %$ 1)
    (unify.symbol unify←val←X4←var←X3)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.structure 2 %$ 2)
    (unify.symbol unify←value←Xn)
    (unify.constant 4)
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (unify.nil)
    (get.Ai.structure 1 %$ 2)
    (unify.symbol unify←variable←Xn)
    (unify.constant 3)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 27
    (get.Ai.structure 1 %$ 2)
    (unify.symbol get←fact←1)
    (unify.variable.Xn 3)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol get←An←constant)
    (unify.constant 2)
    (unify.value.Xn 3)
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (unify.nil)
    (get.Ai.structure 1 %$ 1)
    (unify.symbol proceed)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 40
    (get.Ai.structure 1 %$ 3)
    (unify.symbol get←fact←2)
    (unify.variable.Xn 4)
    (unify.variable.Xn 3)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol get←An←constant)
    (unify.constant 2)
    (unify.value.Xn 4)
    (get.Ai.list 1)
    (unify.variable.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol get←An←constant)
    (unify.constant 3)
    (unify.value.Xn 3)
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (unify.nil)
    (get.Ai.structure 1 %$ 1)
    (unify.symbol proceed)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 53
    (get.Ai.structure 1 %$ 4)
    (unify.symbol get←fact←3)
    (unify.variable.Xn 5)
    (unify.variable.Xn 4)
    (unify.variable.Xn 3)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol get←An←constant)
    (unify.constant 2)
    (unify.value.Xn 5)
    (get.Ai.list 1)
    (unify.variable.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol get←An←constant)
    (unify.constant 3)
    (unify.value.Xn 4)
    (get.Ai.list 1)
    (unify.variable.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol get←An←constant)
    (unify.constant 4)
    (unify.value.Xn 3)
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (unify.nil)
    (get.Ai.structure 1 %$ 1)
    (unify.symbol proceed)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 31
    (get.Ai.structure 1 %$ 4)
    (unify.symbol call←value←Yn)
    (unify.variable.Xn 4)
    (unify.variable.Xn 3)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 5)
    (unify.variable.Xn 2)
    (get.Ai.structure 5 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.constant 1)
    (unify.value.Xn 4)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol call)
    (unify.value.Xn 3)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 31
    (get.Ai.structure 1 %$ 4)
    (unify.symbol call←unsafe←Yn)
    (unify.variable.Xn 4)
    (unify.variable.Xn 3)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 5)
    (unify.variable.Xn 2)
    (get.Ai.structure 5 %$ 3)
    (unify.symbol put←Ai←unsafe←Yn)
    (unify.constant 1)
    (unify.value.Xn 4)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol call)
    (unify.value.Xn 3)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 31
    (get.Ai.structure 1 %$ 4)
    (unify.symbol call←with←constant)
    (unify.variable.Xn 4)
    (unify.variable.Xn 3)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 5)
    (unify.variable.Xn 2)
    (get.Ai.structure 5 %$ 3)
    (unify.symbol put←Ai←constant)
    (unify.constant 1)
    (unify.value.Xn 4)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol call)
    (unify.value.Xn 3)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 88
    (get.Ai.structure 1 %$ 2)
    (unify.symbol depart←4)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.variable.Xn 3)
    (unify.constant 4)
    (get.Ai.structure 3 short 1)
    (unify.constant 4)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.variable.Xn 3)
    (unify.constant 3)
    (get.Ai.structure 3 short 1)
    (unify.constant 3)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.variable.Xn 3)
    (unify.constant 2)
    (get.Ai.structure 3 short 1)
    (unify.constant 2)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.variable.Xn 3)
    (unify.constant 1)
    (get.Ai.structure 3 short 1)
    (unify.constant 1)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 2)
    (unify.symbol depart)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 70
    (get.Ai.structure 1 %$ 2)
    (unify.symbol depart←3)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.variable.Xn 3)
    (unify.constant 3)
    (get.Ai.structure 3 short 1)
    (unify.constant 3)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.variable.Xn 3)
    (unify.constant 2)
    (get.Ai.structure 3 short 1)
    (unify.constant 2)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.variable.Xn 3)
    (unify.constant 1)
    (get.Ai.structure 3 short 1)
    (unify.constant 1)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 2)
    (unify.symbol depart)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 52
    (get.Ai.structure 1 %$ 2)
    (unify.symbol depart←2)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.variable.Xn 3)
    (unify.constant 2)
    (get.Ai.structure 3 short 1)
    (unify.constant 2)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.variable.Xn 3)
    (unify.constant 1)
    (get.Ai.structure 3 short 1)
    (unify.constant 1)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 2)
    (unify.symbol depart)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 34
    (get.Ai.structure 1 %$ 2)
    (unify.symbol depart←1)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 3)
    (unify.symbol put←Ai←value←Yn)
    (unify.variable.Xn 3)
    (unify.constant 1)
    (get.Ai.structure 3 short 1)
    (unify.constant 1)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 2)
    (unify.symbol depart)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 26
    (get.Ai.structure 1 %$ 3)
    (unify.symbol unify←vars←Xn←Xn)
    (unify.variable.Xn 3)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 4)
    (unify.variable.Xn 2)
    (get.Ai.structure 4 %$ 2)
    (unify.symbol unify←variable←Xn)
    (unify.value.Xn 3)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 2)
    (unify.symbol unify←variable←Xn)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 27
    (get.Ai.structure 1 %$ 2)
    (unify.symbol alloc←get←A1←var←Yn)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 1)
    (unify.symbol allocate)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 3)
    (unify.symbol get←Ai←variable←Yn)
    (unify.constant 1)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 24
    (get.Ai.structure 1 %$ 2)
    (unify.symbol alloc←unify←var←Yn)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %$ 1)
    (unify.symbol allocate)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 2)
    (unify.symbol unify←variable←Yn)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 22
    (get.Ai.structure 1 %$ 2)
    (unify.symbol load←integer)
    (unify.structure short 1)
    (unify.variable.Xn 1)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 %$ 2)
    (unify.symbol load←long←integer)
    (unify.structure constant 1)
    (unify.value.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( unportmanteau 2 si ) 30
    (get.Ai.structure 1 %$ 2)
    (unify.symbol add←integer)
    (unify.structure short 1)
    (unify.variable.Xn 3)
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.variable.Xn 1)
    (get.Ai.structure 2 %$ 2)
    (unify.symbol load←long←integer)
    (unify.structure constant 1)
    (unify.value.Xn 3)
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (unify.nil)
    (get.Ai.structure 1 %$ 1)
    (unify.symbol add)
    (proceed)
)

(ASSEMBLE.CLAUSE ( arg←type 2 si ) 59
    (get.Ai.structure 1 constant 1)
    (allocate)
    (unify.variable.Yn 1)
    (get.Ai.variable.Yn 2 2)
    (head.cut)
    (load.choice.point)
    (store.variable.Yn 3)
    (either 6 28)
    (put.Ai.value.Yn 1 1)
    (get.Ai.constant 1 NIL)
    (load.value.Yn 3)
    (cut.to.choice.point)
    (put.Ai.value.Yn 1 2)
    (get.Ai.constant 1 nil)
    (progress)
    (or 41)
    (put.Ai.value.Yn 1 1)
    (is.a 128)
    (load.value.Yn 3)
    (cut.to.choice.point)
    (put.Ai.value.Yn 1 2)
    (get.Ai.constant 1 atom)
    (progress)
    (or 54)
    (put.Ai.value.Yn 1 1)
    (is.a 32)
    (load.value.Yn 3)
    (cut.to.choice.point)
    (put.Ai.value.Yn 1 2)
    (get.Ai.constant 1 float)
    (progress)
    (or.finally)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart integer←type 2 si)
)

(ASSEMBLE.CLAUSE ( arg←type 2 si ) 7
    (get.Ai.structure 1 address 1)
    (unify.void 1)
    (get.Ai.symbol 2 cell)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( arg←type 2 si ) 9
    (get.Ai.structure 1 float 1)
    (unify.variable.Xn 1)
    (get.Ai.symbol 2 float)
    (head.cut)
    (is.a 32)
    (proceed)
)

(ASSEMBLE.CLAUSE ( arg←type 2 si ) 2
    (execute integer←type 2 si)
)

(ASSEMBLE.CLAUSE ( dmarg 2 si ) 7
    (get.Ai.structure 1 constant 1)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 2 1)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dmarg 2 si ) 7
    (get.Ai.structure 1 short 1)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 2 1)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dmarg 2 si ) 7
    (get.Ai.structure 1 address 1)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 2 1)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dmarg 2 si ) 7
    (get.Ai.structure 1 float 1)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 2 1)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dmarg 2 si ) 7
    (get.Ai.structure 1 offset 1)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 2 1)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dmarg 2 si ) 3
    (get.Ai.value.Xn 2 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( integer←type 2 si ) 31
    (allocate)
    (get.Ai.variable.Yn 2 1)
    (put.Ai.variable.Yn 2 2)
    (call 5 integer 2 si)
    (load.value.Yn 2)
    (load.constant -65536)
    (not.less.than.else 27)
    (load.value.Yn 2)
    (load.pos.word 65535)
    (not.greater.than.else 27)
    (put.Ai.value.Yn 1 1)
    (get.Ai.constant 1 immed)
    (progress)
    (put.Ai.value.Yn 1 1)
    (get.Ai.constant 1 boxed)
    (progress)
)

(ASSEMBLE.CLAUSE ( integer 2 si ) 7
    (get.Ai.structure 1 short 1)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 2 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( integer 2 si ) 7
    (get.Ai.structure 1 offset 1)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 2 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( integer 2 si ) 4
    (get.Ai.value.Xn 2 1)
    (is.a 24)
    (proceed)
)

(ASSEMBLE.CLAUSE ( predicate←home 3 si ) 22
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (get.Ai.variable.Yn 2 2)
    (get.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 1 3)
    (call 7 current←module 1 si)
    (put.Ai.value.Yn 4 4)
    (put.Ai.unsafe.Yn 3 3)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart predicate←module 4 si)
)

STOP