(ASSEMBLE.CLAUSE ( assemble 4 si ) 32
    (put.Ai.value.Xn 6 3)
    (allocate)
    (get.Ai.variable.Yn 4 2)
    (put.Ai.nil 5)
    (put.Ai.value.Xn 4 2)
    (put.Ai.value.Yn 3 2)
    (put.Ai.value.Xn 2 6)
    (call 5 assemble 5 si)
    (body.cut)
    (put.Ai.variable.Yn 1 1)
    (call 5 maximum←compiled←clause←size 1 si)
    (load.value.Yn 2)
    (load.value.Yn 1)
    (greater.than.else 33)
    (put.Ai.void 2)
    (put.Ai.constant 1 406)
    (depart nerror 2 si)
    (progress)
)

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

(ASSEMBLE.CLAUSE ( assemble 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 5 si)
)

STOP