builtin
switch_on_reg
allocate
add_imports
push_import
put_value_t
put_value_t
put_value_t
put_type_structure
set_type_local_value_t
set_type_local_value_t
put_m_const
put_app
globalize_t
set_value_t
globalize_t
set_value_t
put_value_t
head_normalize_t
call_name
switch_on_reg
try_me_else
get_list
unify_local_value_t
trust_me
get_list
unify_variable_t
unify_variable_t
finish_unify
head_normalize_t
head_normalize_t
execute_name
switch_on_reg
try_me_else
get_list
unify_local_value_t
unify_variable_t
finish_unify
neck_cut
proceed
remove_imports
pop_imports
deallocate
proceed
has result

The answer substitution:
X = 1
fail
fail
