(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