(ASSEMBLE.CLAUSE ( find_predicate1 2 si ) 33
    (allocate)
    (get.Ai.variable.Yn 1 2)
    (get.Ai.variable.Yn 2 3)
    (put.Ai.variable.Yn 1 4)
    (call 7 current_module 1 si)
    (put.Ai.variable.Yn 4 1)
    (put.Ai.value.Yn 3 4)
    (put.Ai.value.Yn 2 3)
    (put.Ai.value.Yn 1 2)
    (call 7 classify_predicate 4 si)
    (put.Ai.symbol 5 ed)
    (put.Ai.unsafe.Yn 4 4)
    (put.Ai.value.Yn 3 3)
    (put.Ai.value.Yn 2 2)
    (put.Ai.unsafe.Yn 1 1)
    (depart find_defn_emacs 5 si)
)

(ASSEMBLE.CLAUSE ( find_definition 3 si ) 28
    (allocate)
    (get.Ai.variable.Yn 1 2)
    (get.Ai.variable.Yn 2 3)
    (get.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 4 1)
    (put.Ai.value.Yn 3 4)
    (put.Ai.value.Yn 2 3)
    (put.Ai.value.Yn 1 2)
    (call 7 classify_predicate 4 si)
    (put.Ai.value.Yn 4 4)
    (put.Ai.value.Yn 3 3)
    (put.Ai.value.Yn 2 2)
    (put.Ai.unsafe.Yn 1 1)
    (depart find_defn_debug 4 si)
)

(ASSEMBLE.CLAUSE ( classify_predicate 4 si ) 8
    (get.Ai.symbol 4 ok)
    (allocate)
    (put.Ai.void 4)
    (call 3 source_file 4 si)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( classify_predicate 4 si ) 7
    (get.Ai.symbol 4 built%-in)
    (allocate)
    (call 3 built_in_predicate 2 si)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( classify_predicate 4 si ) 7
    (get.Ai.symbol 4 none)
    (allocate)
    (call 3 current_predicate 3 si)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( classify_predicate 4 si ) 3
    (get.Ai.symbol 4 undefined)
    (proceed)
)

(ASSEMBLE.CLAUSE ( find_defn_debug 4 si ) 31
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (get.Ai.variable.Yn 2 2)
    (get.Ai.variable.Yn 3 3)
    (get.Ai.variable.Yn 4 4)
    (call 7 under_emacs 0 si)
    (body.cut)
    (put.Ai.void 2)
    (put.Ai.symbol 1 clear_fd_buffer)
    (call 7 tell_emacs 2 si)
    (put.Ai.symbol 5 debug)
    (put.Ai.value.Yn 4 4)
    (put.Ai.value.Yn 3 3)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart find_defn_emacs 5 si)
)

(ASSEMBLE.CLAUSE ( find_defn_debug 4 si ) 2
    (execute find_defn_no_emacs 4 si)
)

(ASSEMBLE.CLAUSE ( find_defn_emacs 5 si ) 30
    (get.Ai.constant 1 ok)
    (allocate)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 2)
    (put.Ai.value.Xn 3 4)
    (get.Ai.variable.Yn 5 3)
    (head.cut)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (call 6 gen_files_emacs 3 si)
    (put.Ai.value.Yn 4 3)
    (put.Ai.symbol 3 ok)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart find_defn_emacs_2 4 si)
)

(ASSEMBLE.CLAUSE ( find_defn_emacs 5 si ) 12
    (put.Ai.value.Xn 6 2)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 4 5)
    (put.Ai.value.Xn 3 1)
    (put.Ai.value.Xn 1 6)
    (execute find_defn_emacs_2 4 si)
)

(ASSEMBLE.CLAUSE ( find_defn_emacs_2 4 si ) 25
    (allocate)
    (get.Ai.variable.Yn 1 4)
    (get.Ai.variable.Yn 2 3)
    (get.Ai.variable.Yn 3 2)
    (get.Ai.variable.Yn 4 1)
    (put.Ai.value.Yn 1 3)
    (call 7 nonvar_arity 1 si)
    (put.Ai.structure 2 args 4)
    (unify.local.Yn 4)
    (unify.local.Yn 3)
    (unify.local.Yn 2)
    (unify.local.Yn 1)
    (put.Ai.symbol 1 find_definition)
    (depart tell_emacs 2 si)
)

(ASSEMBLE.CLAUSE ( find_defn_no_emacs 4 si ) 11
    (get.Ai.constant 1 ok)
    (put.Ai.value.Xn 1 2)
    (put.Ai.value.Xn 2 3)
    (put.Ai.value.Xn 3 4)
    (execute gen_files_no_emacs 3 si)
)

(ASSEMBLE.CLAUSE ( find_defn_no_emacs 4 si ) 15
    (get.Ai.constant 1 built%-in)
    (put.Ai.list 1)
    (unify.local.Xn 3)
    (unify.nil)
    (put.Ai.list 3)
    (unify.local.Xn 2)
    (unify.value.Xn 1)
    (put.Ai.symbol 2 %[%~a%/%~d% is% a% built%-in% predicate%]%~n)
    (put.Ai.symbol 1 user)
    (execute format 3 format)
)

(ASSEMBLE.CLAUSE ( find_defn_no_emacs 4 si ) 15
    (get.Ai.constant 1 none)
    (put.Ai.list 1)
    (unify.local.Xn 3)
    (unify.nil)
    (put.Ai.list 3)
    (unify.local.Xn 2)
    (unify.value.Xn 1)
    (put.Ai.symbol 2 %[There% is% no% source% file% for% %~a%/%~d%]%~n)
    (put.Ai.symbol 1 user)
    (execute format 3 format)
)

(ASSEMBLE.CLAUSE ( find_defn_no_emacs 4 si ) 25
    (get.Ai.constant 1 undefined)
    (allocate)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 2)
    (put.Ai.value.Yn 1 2)
    (call 5 nonvar_arity 1 si)
    (put.Ai.list 1)
    (unify.local.Yn 2)
    (unify.nil)
    (put.Ai.list 3)
    (unify.local.Yn 1)
    (unify.value.Xn 1)
    (put.Ai.symbol 2 %[%~a%/%~d% is% undefined%]%~n)
    (put.Ai.symbol 1 user)
    (depart format 3 format)
)

(ASSEMBLE.CLAUSE ( gen_files_no_emacs 3 si ) 31
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (get.Ai.variable.Yn 2 2)
    (put.Ai.variable.Yn 4 3)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (call 6 source_file 4 si)
    (put.Ai.list 2)
    (unify.local.Yn 3)
    (unify.nil)
    (put.Ai.list 1)
    (unify.local.Yn 2)
    (unify.value.Xn 2)
    (put.Ai.list 3)
    (unify.local.Yn 1)
    (unify.value.Xn 1)
    (put.Ai.symbol 2 %[%~a%/%~d% is% defined% in% the% file% %~a%]%~n)
    (put.Ai.symbol 1 user)
    (call 3 format 3 format)
    (fail)
)

(ASSEMBLE.CLAUSE ( gen_files_no_emacs 3 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( gen_files_emacs 3 si ) 14
    (allocate)
    (put.Ai.variable.Yn 4 1)
    (call 4 source_file 4 si)
    (put.Ai.unsafe.Yn 2 1)
    (put.Ai.symbol 1 fd_file)
    (call 3 tell_emacs 2 si)
    (fail)
)

(ASSEMBLE.CLAUSE ( gen_files_emacs 3 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( nonvar_arity 1 si ) 4
    (get.Ai.constant 1 _)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( nonvar_arity 1 si ) 1
    (proceed)
)

STOP