macro_rules! _instr {
("$add_non_counted_backtracking" , execute , $ ($ args : expr) , *) => { ... };
("$add_non_counted_backtracking" , $ ($ args : expr) , *) => { ... };
("$remove_module_exports" , execute , $ ($ args : expr) , *) => { ... };
("$remove_module_exports" , $ ($ args : expr) , *) => { ... };
("$flush_term_queue" , execute , $ ($ args : expr) , *) => { ... };
("$flush_term_queue" , $ ($ args : expr) , *) => { ... };
("$is_consistent_with_term_queue" , execute , $ ($ args : expr) , *) => { ... };
("$is_consistent_with_term_queue" , $ ($ args : expr) , *) => { ... };
("$retract_clause" , execute , $ ($ args : expr) , *) => { ... };
("$retract_clause" , $ ($ args : expr) , *) => { ... };
("$assertz" , execute , $ ($ args : expr) , *) => { ... };
("$assertz" , $ ($ args : expr) , *) => { ... };
("$asserta" , execute , $ ($ args : expr) , *) => { ... };
("$asserta" , $ ($ args : expr) , *) => { ... };
("$abolish_clause" , execute , $ ($ args : expr) , *) => { ... };
("$abolish_clause" , $ ($ args : expr) , *) => { ... };
("$dynamic_property" , execute , $ ($ args : expr) , *) => { ... };
("$dynamic_property" , $ ($ args : expr) , *) => { ... };
("$discontiguous_property" , execute , $ ($ args : expr) , *) => { ... };
("$discontiguous_property" , $ ($ args : expr) , *) => { ... };
("$multifile_property" , execute , $ ($ args : expr) , *) => { ... };
("$multifile_property" , $ ($ args : expr) , *) => { ... };
("$meta_predicate_property" , execute , $ ($ args : expr) , *) => { ... };
("$meta_predicate_property" , $ ($ args : expr) , *) => { ... };
("$built_in_property" , execute , $ ($ args : expr) , *) => { ... };
("$built_in_property" , $ ($ args : expr) , *) => { ... };
("$use_module" , execute , $ ($ args : expr) , *) => { ... };
("$use_module" , $ ($ args : expr) , *) => { ... };
("$push_load_context" , execute , $ ($ args : expr) , *) => { ... };
("$push_load_context" , $ ($ args : expr) , *) => { ... };
("$push_load_state_payload" , execute , $ ($ args : expr) , *) => { ... };
("$push_load_state_payload" , $ ($ args : expr) , *) => { ... };
("$pop_load_state_payload" , execute , $ ($ args : expr) , *) => { ... };
("$pop_load_state_payload" , $ ($ args : expr) , *) => { ... };
("$pop_load_context" , execute) => { ... };
("$pop_load_context") => { ... };
("$prolog_lc_stream" , execute , $ ($ args : expr) , *) => { ... };
("$prolog_lc_stream" , $ ($ args : expr) , *) => { ... };
("$prolog_lc_module" , execute , $ ($ args : expr) , *) => { ... };
("$prolog_lc_module" , $ ($ args : expr) , *) => { ... };
("$prolog_lc_dir" , execute , $ ($ args : expr) , *) => { ... };
("$prolog_lc_dir" , $ ($ args : expr) , *) => { ... };
("$prolog_lc_file" , execute , $ ($ args : expr) , *) => { ... };
("$prolog_lc_file" , $ ($ args : expr) , *) => { ... };
("$prolog_lc_source" , execute , $ ($ args : expr) , *) => { ... };
("$prolog_lc_source" , $ ($ args : expr) , *) => { ... };
("$load_compiled_library" , execute , $ ($ args : expr) , *) => { ... };
("$load_compiled_library" , $ ($ args : expr) , *) => { ... };
("$declare_module" , execute , $ ($ args : expr) , *) => { ... };
("$declare_module" , $ ($ args : expr) , *) => { ... };
("$conclude_load" , execute , $ ($ args : expr) , *) => { ... };
("$conclude_load" , $ ($ args : expr) , *) => { ... };
("$scoped_clause_to_evacuable" , execute , $ ($ args : expr) , *) => { ... };
("$scoped_clause_to_evacuable" , $ ($ args : expr) , *) => { ... };
("$clause_to_evacuable" , execute , $ ($ args : expr) , *) => { ... };
("$clause_to_evacuable" , $ ($ args : expr) , *) => { ... };
("$add_in_situ_filename_module" , execute , $ ($ args : expr) , *) => { ... };
("$add_in_situ_filename_module" , $ ($ args : expr) , *) => { ... };
("$add_term_expansion_clause" , execute , $ ($ args : expr) , *) => { ... };
("$add_term_expansion_clause" , $ ($ args : expr) , *) => { ... };
("$add_goal_expansion_clause" , execute , $ ($ args : expr) , *) => { ... };
("$add_goal_expansion_clause" , $ ($ args : expr) , *) => { ... };
("$add_multifile_predicate" , execute , $ ($ args : expr) , *) => { ... };
("$add_multifile_predicate" , $ ($ args : expr) , *) => { ... };
("$add_dynamic_predicate" , execute , $ ($ args : expr) , *) => { ... };
("$add_dynamic_predicate" , $ ($ args : expr) , *) => { ... };
("$add_discontiguous_predicate" , execute , $ ($ args : expr) , *) => { ... };
("$add_discontiguous_predicate" , $ ($ args : expr) , *) => { ... };
("$argv" , execute , $ ($ args : expr) , *) => { ... };
("$argv" , $ ($ args : expr) , *) => { ... };
("$inference_limit_exceeded" , execute) => { ... };
("$inference_limit_exceeded") => { ... };
("$keysort_with_constant_var_ordering" , execute , $ ($ args : expr) , *) => { ... };
("$keysort_with_constant_var_ordering" , $ ($ args : expr) , *) => { ... };
("$get_db_refs" , execute , $ ($ args : expr) , *) => { ... };
("$get_db_refs" , $ ($ args : expr) , *) => { ... };
("$unattributed_var" , execute , $ ($ args : expr) , *) => { ... };
("$unattributed_var" , $ ($ args : expr) , *) => { ... };
("$delete_all_attributes_from_var" , execute , $ ($ args : expr) , *) => { ... };
("$delete_all_attributes_from_var" , $ ($ args : expr) , *) => { ... };
("$del_from_attr_list" , execute , $ ($ args : expr) , *) => { ... };
("$del_from_attr_list" , $ ($ args : expr) , *) => { ... };
("$put_to_attr_list" , execute , $ ($ args : expr) , *) => { ... };
("$put_to_attr_list" , $ ($ args : expr) , *) => { ... };
("$get_from_attr_list" , execute , $ ($ args : expr) , *) => { ... };
("$get_from_attr_list" , $ ($ args : expr) , *) => { ... };
("$invoke_clause_at_p" , execute , $ ($ args : expr) , *) => { ... };
("$invoke_clause_at_p" , $ ($ args : expr) , *) => { ... };
("$get_clause_p" , execute , $ ($ args : expr) , *) => { ... };
("$get_clause_p" , $ ($ args : expr) , *) => { ... };
("$is_expanded_or_inlined" , execute , $ ($ args : expr) , *) => { ... };
("$is_expanded_or_inlined" , $ ($ args : expr) , *) => { ... };
("$fast_call" , execute , $ ($ args : expr) , *) => { ... };
("$fast_call" , $ ($ args : expr) , *) => { ... };
("$compile_inline_or_expanded_goal" , execute , $ ($ args : expr) , *) => { ... };
("$compile_inline_or_expanded_goal" , $ ($ args : expr) , *) => { ... };
("$strip_module" , execute , $ ($ args : expr) , *) => { ... };
("$strip_module" , $ ($ args : expr) , *) => { ... };
("$predicate_defined" , execute , $ ($ args : expr) , *) => { ... };
("$predicate_defined" , $ ($ args : expr) , *) => { ... };
("$js_eval" , execute , $ ($ args : expr) , *) => { ... };
("$js_eval" , $ ($ args : expr) , *) => { ... };
("$define_foreign_struct" , execute , $ ($ args : expr) , *) => { ... };
("$define_foreign_struct" , $ ($ args : expr) , *) => { ... };
("$foreign_call" , execute , $ ($ args : expr) , *) => { ... };
("$foreign_call" , $ ($ args : expr) , *) => { ... };
("$load_foreign_lib" , execute , $ ($ args : expr) , *) => { ... };
("$load_foreign_lib" , $ ($ args : expr) , *) => { ... };
("$http_answer" , execute , $ ($ args : expr) , *) => { ... };
("$http_answer" , $ ($ args : expr) , *) => { ... };
("$http_accept" , execute , $ ($ args : expr) , *) => { ... };
("$http_accept" , $ ($ args : expr) , *) => { ... };
("$http_listen" , execute , $ ($ args : expr) , *) => { ... };
("$http_listen" , $ ($ args : expr) , *) => { ... };
("$http_open" , execute , $ ($ args : expr) , *) => { ... };
("$http_open" , $ ($ args : expr) , *) => { ... };
("$det_length_rundown" , execute , $ ($ args : expr) , *) => { ... };
("$det_length_rundown" , $ ($ args : expr) , *) => { ... };
("$cpu_now" , execute , $ ($ args : expr) , *) => { ... };
("$cpu_now" , $ ($ args : expr) , *) => { ... };
("$popcount" , execute , $ ($ args : expr) , *) => { ... };
("$popcount" , $ ($ args : expr) , *) => { ... };
("$debug_hook" , execute) => { ... };
("$debug_hook") => { ... };
("$home_directory" , execute , $ ($ args : expr) , *) => { ... };
("$home_directory" , $ ($ args : expr) , *) => { ... };
("$set_sto_with_error_as_unify" , execute) => { ... };
("$set_sto_with_error_as_unify") => { ... };
("$set_nsto_as_unify" , execute) => { ... };
("$set_nsto_as_unify") => { ... };
("$set_sto_as_unify" , execute) => { ... };
("$set_sto_as_unify") => { ... };
("$is_sto_enabled" , execute , $ ($ args : expr) , *) => { ... };
("$is_sto_enabled" , $ ($ args : expr) , *) => { ... };
("$devour_whitespace" , execute , $ ($ args : expr) , *) => { ... };
("$devour_whitespace" , $ ($ args : expr) , *) => { ... };
("$chars_base64" , execute , $ ($ args : expr) , *) => { ... };
("$chars_base64" , $ ($ args : expr) , *) => { ... };
("$pid" , execute , $ ($ args : expr) , *) => { ... };
("$pid" , $ ($ args : expr) , *) => { ... };
("$shell" , execute , $ ($ args : expr) , *) => { ... };
("$shell" , $ ($ args : expr) , *) => { ... };
("$unsetenv" , execute , $ ($ args : expr) , *) => { ... };
("$unsetenv" , $ ($ args : expr) , *) => { ... };
("$setenv" , execute , $ ($ args : expr) , *) => { ... };
("$setenv" , $ ($ args : expr) , *) => { ... };
("$getenv" , execute , $ ($ args : expr) , *) => { ... };
("$getenv" , $ ($ args : expr) , *) => { ... };
("$load_xml" , execute , $ ($ args : expr) , *) => { ... };
("$load_xml" , $ ($ args : expr) , *) => { ... };
("$load_html" , execute , $ ($ args : expr) , *) => { ... };
("$load_html" , $ ($ args : expr) , *) => { ... };
("$first_non_octet" , execute , $ ($ args : expr) , *) => { ... };
("$first_non_octet" , $ ($ args : expr) , *) => { ... };
("$ed25519_seed_to_public_key" , execute , $ ($ args : expr) , *) => { ... };
("$ed25519_seed_to_public_key" , $ ($ args : expr) , *) => { ... };
("$ed25519_verify_raw" , execute , $ ($ args : expr) , *) => { ... };
("$ed25519_verify_raw" , $ ($ args : expr) , *) => { ... };
("$ed25519_sign_raw" , execute , $ ($ args : expr) , *) => { ... };
("$ed25519_sign_raw" , $ ($ args : expr) , *) => { ... };
("$crypto_data_decrypt" , execute , $ ($ args : expr) , *) => { ... };
("$crypto_data_decrypt" , $ ($ args : expr) , *) => { ... };
("$crypto_data_encrypt" , execute , $ ($ args : expr) , *) => { ... };
("$crypto_data_encrypt" , $ ($ args : expr) , *) => { ... };
("$curve25519_scalar_mult" , execute , $ ($ args : expr) , *) => { ... };
("$curve25519_scalar_mult" , $ ($ args : expr) , *) => { ... };
("$crypto_curve_scalar_mult" , execute , $ ($ args : expr) , *) => { ... };
("$crypto_curve_scalar_mult" , $ ($ args : expr) , *) => { ... };
("$crypto_password_hash" , execute , $ ($ args : expr) , *) => { ... };
("$crypto_password_hash" , $ ($ args : expr) , *) => { ... };
("$crypto_data_hkdf" , execute , $ ($ args : expr) , *) => { ... };
("$crypto_data_hkdf" , $ ($ args : expr) , *) => { ... };
("$crypto_hmac" , execute , $ ($ args : expr) , *) => { ... };
("$crypto_hmac" , $ ($ args : expr) , *) => { ... };
("$crypto_data_hash" , execute , $ ($ args : expr) , *) => { ... };
("$crypto_data_hash" , $ ($ args : expr) , *) => { ... };
("$crypto_random_byte" , execute , $ ($ args : expr) , *) => { ... };
("$crypto_random_byte" , $ ($ args : expr) , *) => { ... };
("$scryer_prolog_version" , execute , $ ($ args : expr) , *) => { ... };
("$scryer_prolog_version" , $ ($ args : expr) , *) => { ... };
("$write_term_to_chars" , execute , $ ($ args : expr) , *) => { ... };
("$write_term_to_chars" , $ ($ args : expr) , *) => { ... };
("$write_term" , execute , $ ($ args : expr) , *) => { ... };
("$write_term" , $ ($ args : expr) , *) => { ... };
("$inlined_instructions" , execute , $ ($ args : expr) , *) => { ... };
("$inlined_instructions" , $ ($ args : expr) , *) => { ... };
("$wam_instructions" , execute , $ ($ args : expr) , *) => { ... };
("$wam_instructions" , $ ($ args : expr) , *) => { ... };
("$unwind_stack" , execute) => { ... };
("$unwind_stack") => { ... };
("$unwind_environments" , execute) => { ... };
("$unwind_environments") => { ... };
("$unify_with_occurs_check" , execute , $ ($ args : expr) , *) => { ... };
("$unify_with_occurs_check" , $ ($ args : expr) , *) => { ... };
("$truncate_lh_to" , execute , $ ($ args : expr) , *) => { ... };
("$truncate_lh_to" , $ ($ args : expr) , *) => { ... };
("$term_variables_under_max_depth" , execute , $ ($ args : expr) , *) => { ... };
("$term_variables_under_max_depth" , $ ($ args : expr) , *) => { ... };
("$term_variables" , execute , $ ($ args : expr) , *) => { ... };
("$term_variables" , $ ($ args : expr) , *) => { ... };
("$term_attributed_variables" , execute , $ ($ args : expr) , *) => { ... };
("$term_attributed_variables" , $ ($ args : expr) , *) => { ... };
("$succeed" , execute) => { ... };
("$succeed") => { ... };
("$tls_client_connect" , execute , $ ($ args : expr) , *) => { ... };
("$tls_client_connect" , $ ($ args : expr) , *) => { ... };
("$tls_accept_client" , execute , $ ($ args : expr) , *) => { ... };
("$tls_accept_client" , $ ($ args : expr) , *) => { ... };
("$socket_server_close" , execute , $ ($ args : expr) , *) => { ... };
("$socket_server_close" , $ ($ args : expr) , *) => { ... };
("$socket_server_accept" , execute , $ ($ args : expr) , *) => { ... };
("$socket_server_accept" , $ ($ args : expr) , *) => { ... };
("$socket_server_open" , execute , $ ($ args : expr) , *) => { ... };
("$socket_server_open" , $ ($ args : expr) , *) => { ... };
("$socket_client_open" , execute , $ ($ args : expr) , *) => { ... };
("$socket_client_open" , $ ($ args : expr) , *) => { ... };
("$sleep" , execute , $ ($ args : expr) , *) => { ... };
("$sleep" , $ ($ args : expr) , *) => { ... };
("$skip_max_list" , execute , $ ($ args : expr) , *) => { ... };
("$skip_max_list" , $ ($ args : expr) , *) => { ... };
("$set_seed" , execute , $ ($ args : expr) , *) => { ... };
("$set_seed" , $ ($ args : expr) , *) => { ... };
("$set_unknown" , execute , $ ($ args : expr) , *) => { ... };
("$set_unknown" , $ ($ args : expr) , *) => { ... };
("$set_double_quotes" , execute , $ ($ args : expr) , *) => { ... };
("$set_double_quotes" , $ ($ args : expr) , *) => { ... };
("$set_cp_by_default" , execute , $ ($ args : expr) , *) => { ... };
("$set_cp_by_default" , $ ($ args : expr) , *) => { ... };
("$pop_from_ball_stack" , execute) => { ... };
("$pop_from_ball_stack") => { ... };
("$pop_ball_stack" , execute) => { ... };
("$pop_ball_stack") => { ... };
("$push_ball_stack" , execute) => { ... };
("$push_ball_stack") => { ... };
("$set_ball" , execute , $ ($ args : expr) , *) => { ... };
("$set_ball" , $ ($ args : expr) , *) => { ... };
("$return_from_verify_attr" , execute) => { ... };
("$return_from_verify_attr") => { ... };
("$reset_scc_block" , execute , $ ($ args : expr) , *) => { ... };
("$reset_scc_block" , $ ($ args : expr) , *) => { ... };
("$reset_block" , execute , $ ($ args : expr) , *) => { ... };
("$reset_block" , $ ($ args : expr) , *) => { ... };
("$read_term_from_chars" , execute , $ ($ args : expr) , *) => { ... };
("$read_term_from_chars" , $ ($ args : expr) , *) => { ... };
("$read_from_chars" , execute , $ ($ args : expr) , *) => { ... };
("$read_from_chars" , $ ($ args : expr) , *) => { ... };
("$quoted_token" , execute , $ ($ args : expr) , *) => { ... };
("$quoted_token" , $ ($ args : expr) , *) => { ... };
("$current_time" , execute , $ ($ args : expr) , *) => { ... };
("$current_time" , $ ($ args : expr) , *) => { ... };
("$maybe" , execute) => { ... };
("$maybe") => { ... };
("$install_new_block" , execute , $ ($ args : expr) , *) => { ... };
("$install_new_block" , $ ($ args : expr) , *) => { ... };
("$get_unknown" , execute , $ ($ args : expr) , *) => { ... };
("$get_unknown" , $ ($ args : expr) , *) => { ... };
("$get_double_quotes" , execute , $ ($ args : expr) , *) => { ... };
("$get_double_quotes" , $ ($ args : expr) , *) => { ... };
("$get_cp" , execute , $ ($ args : expr) , *) => { ... };
("$get_cp" , $ ($ args : expr) , *) => { ... };
("$get_current_scc_block" , execute , $ ($ args : expr) , *) => { ... };
("$get_current_scc_block" , $ ($ args : expr) , *) => { ... };
("$get_current_block" , execute , $ ($ args : expr) , *) => { ... };
("$get_current_block" , $ ($ args : expr) , *) => { ... };
("$get_ball" , execute , $ ($ args : expr) , *) => { ... };
("$get_ball" , $ ($ args : expr) , *) => { ... };
("$fail" , execute) => { ... };
("$fail") => { ... };
("$clean_up_block" , execute , $ ($ args : expr) , *) => { ... };
("$clean_up_block" , $ ($ args : expr) , *) => { ... };
("$inference_level" , execute , $ ($ args : expr) , *) => { ... };
("$inference_level" , $ ($ args : expr) , *) => { ... };
("$set_stream_position" , execute , $ ($ args : expr) , *) => { ... };
("$set_stream_position" , $ ($ args : expr) , *) => { ... };
("$stream_property" , execute , $ ($ args : expr) , *) => { ... };
("$stream_property" , $ ($ args : expr) , *) => { ... };
("$store_global_var" , execute , $ ($ args : expr) , *) => { ... };
("$store_global_var" , $ ($ args : expr) , *) => { ... };
("$store_backtrackable_global_var" , execute , $ ($ args : expr) , *) => { ... };
("$store_backtrackable_global_var" , $ ($ args : expr) , *) => { ... };
("$set_output" , execute , $ ($ args : expr) , *) => { ... };
("$set_output" , $ ($ args : expr) , *) => { ... };
("$set_input" , execute , $ ($ args : expr) , *) => { ... };
("$set_input" , $ ($ args : expr) , *) => { ... };
("$set_cp" , execute , $ ($ args : expr) , *) => { ... };
("$set_cp" , $ ($ args : expr) , *) => { ... };
("$restore_cut_policy" , execute) => { ... };
("$restore_cut_policy") => { ... };
("$reset_cont_marker" , execute) => { ... };
("$reset_cont_marker") => { ... };
("$remove_inference_counter" , execute , $ ($ args : expr) , *) => { ... };
("$remove_inference_counter" , $ ($ args : expr) , *) => { ... };
("$remove_call_policy_check" , execute , $ ($ args : expr) , *) => { ... };
("$remove_call_policy_check" , $ ($ args : expr) , *) => { ... };
("$redo_attr_var_binding" , execute , $ ($ args : expr) , *) => { ... };
("$redo_attr_var_binding" , $ ($ args : expr) , *) => { ... };
("$read_term" , execute , $ ($ args : expr) , *) => { ... };
("$read_term" , $ ($ args : expr) , *) => { ... };
("$read_query_term" , execute , $ ($ args : expr) , *) => { ... };
("$read_query_term" , $ ($ args : expr) , *) => { ... };
("$put_code" , execute , $ ($ args : expr) , *) => { ... };
("$put_code" , $ ($ args : expr) , *) => { ... };
("$put_chars" , execute , $ ($ args : expr) , *) => { ... };
("$put_chars" , $ ($ args : expr) , *) => { ... };
("$put_char" , execute , $ ($ args : expr) , *) => { ... };
("$put_char" , $ ($ args : expr) , *) => { ... };
("$put_byte" , execute , $ ($ args : expr) , *) => { ... };
("$put_byte" , $ ($ args : expr) , *) => { ... };
("$points_to_cont_reset_marker" , execute , $ ($ args : expr) , *) => { ... };
("$points_to_cont_reset_marker" , $ ($ args : expr) , *) => { ... };
("$peek_code" , execute , $ ($ args : expr) , *) => { ... };
("$peek_code" , $ ($ args : expr) , *) => { ... };
("$peek_char" , execute , $ ($ args : expr) , *) => { ... };
("$peek_char" , $ ($ args : expr) , *) => { ... };
("$peek_byte" , execute , $ ($ args : expr) , *) => { ... };
("$peek_byte" , $ ($ args : expr) , *) => { ... };
("$partial_string_tail" , execute , $ ($ args : expr) , *) => { ... };
("$partial_string_tail" , $ ($ args : expr) , *) => { ... };
("$next_stream" , execute , $ ($ args : expr) , *) => { ... };
("$next_stream" , $ ($ args : expr) , *) => { ... };
("$set_stream_options" , execute , $ ($ args : expr) , *) => { ... };
("$set_stream_options" , $ ($ args : expr) , *) => { ... };
("$open" , execute , $ ($ args : expr) , *) => { ... };
("$open" , $ ($ args : expr) , *) => { ... };
("$op" , execute , $ ($ args : expr) , *) => { ... };
("$op" , $ ($ args : expr) , *) => { ... };
("$number_to_codes" , execute , $ ($ args : expr) , *) => { ... };
("$number_to_codes" , $ ($ args : expr) , *) => { ... };
("$number_to_chars" , execute , $ ($ args : expr) , *) => { ... };
("$number_to_chars" , $ ($ args : expr) , *) => { ... };
("$no_such_predicate" , execute , $ ($ args : expr) , *) => { ... };
("$no_such_predicate" , $ ($ args : expr) , *) => { ... };
("$nextEP" , execute , $ ($ args : expr) , *) => { ... };
("$nextEP" , $ ($ args : expr) , *) => { ... };
("$module_exists" , execute , $ ($ args : expr) , *) => { ... };
("$module_exists" , $ ($ args : expr) , *) => { ... };
("$load_library_as_stream" , execute , $ ($ args : expr) , *) => { ... };
("$load_library_as_stream" , $ ($ args : expr) , *) => { ... };
("$lh_length" , execute , $ ($ args : expr) , *) => { ... };
("$lh_length" , $ ($ args : expr) , *) => { ... };
("$inference_count" , execute , $ ($ args : expr) , *) => { ... };
("$inference_count" , $ ($ args : expr) , *) => { ... };
("$install_inference_counter" , execute , $ ($ args : expr) , *) => { ... };
("$install_inference_counter" , $ ($ args : expr) , *) => { ... };
("$install_scc_cleaner" , execute , $ ($ args : expr) , *) => { ... };
("$install_scc_cleaner" , $ ($ args : expr) , *) => { ... };
("$head_is_dynamic" , execute , $ ($ args : expr) , *) => { ... };
("$head_is_dynamic" , $ ($ args : expr) , *) => { ... };
("$get_scc_cleaner" , execute , $ ($ args : expr) , *) => { ... };
("$get_scc_cleaner" , $ ($ args : expr) , *) => { ... };
("$get_lh_from_offset_diff" , execute , $ ($ args : expr) , *) => { ... };
("$get_lh_from_offset_diff" , $ ($ args : expr) , *) => { ... };
("$get_lh_from_offset" , execute , $ ($ args : expr) , *) => { ... };
("$get_lh_from_offset" , $ ($ args : expr) , *) => { ... };
("$halt" , execute , $ ($ args : expr) , *) => { ... };
("$halt" , $ ($ args : expr) , *) => { ... };
("$is_partial_string" , execute , $ ($ args : expr) , *) => { ... };
("$is_partial_string" , $ ($ args : expr) , *) => { ... };
("$lookup_db_ref" , execute , $ ($ args : expr) , *) => { ... };
("$lookup_db_ref" , $ ($ args : expr) , *) => { ... };
("$get_next_op_db_ref" , execute , $ ($ args : expr) , *) => { ... };
("$get_next_op_db_ref" , $ ($ args : expr) , *) => { ... };
("$get_cont_chunk" , execute , $ ($ args : expr) , *) => { ... };
("$get_cont_chunk" , $ ($ args : expr) , *) => { ... };
("$get_b_value" , execute , $ ($ args : expr) , *) => { ... };
("$get_b_value" , $ ($ args : expr) , *) => { ... };
("$get_attr_var_queue_beyond" , execute , $ ($ args : expr) , *) => { ... };
("$get_attr_var_queue_beyond" , $ ($ args : expr) , *) => { ... };
("$get_attr_var_queue_delim" , execute , $ ($ args : expr) , *) => { ... };
("$get_attr_var_queue_delim" , $ ($ args : expr) , *) => { ... };
("$get_attr_list" , execute , $ ($ args : expr) , *) => { ... };
("$get_attr_list" , $ ($ args : expr) , *) => { ... };
("$truncate_if_no_lh_growth" , execute , $ ($ args : expr) , *) => { ... };
("$truncate_if_no_lh_growth" , $ ($ args : expr) , *) => { ... };
("$truncate_if_no_lh_growth_diff" , execute , $ ($ args : expr) , *) => { ... };
("$truncate_if_no_lh_growth_diff" , $ ($ args : expr) , *) => { ... };
("$get_single_char" , execute , $ ($ args : expr) , *) => { ... };
("$get_single_char" , $ ($ args : expr) , *) => { ... };
("$get_code" , execute , $ ($ args : expr) , *) => { ... };
("$get_code" , $ ($ args : expr) , *) => { ... };
("$get_n_chars" , execute , $ ($ args : expr) , *) => { ... };
("$get_n_chars" , $ ($ args : expr) , *) => { ... };
("$get_char" , execute , $ ($ args : expr) , *) => { ... };
("$get_char" , $ ($ args : expr) , *) => { ... };
("$get_byte" , execute , $ ($ args : expr) , *) => { ... };
("$get_byte" , $ ($ args : expr) , *) => { ... };
("$flush_output" , execute , $ ($ args : expr) , *) => { ... };
("$flush_output" , $ ($ args : expr) , *) => { ... };
("$first_stream" , execute , $ ($ args : expr) , *) => { ... };
("$first_stream" , $ ($ args : expr) , *) => { ... };
("$fetch_global_var" , execute , $ ($ args : expr) , *) => { ... };
("$fetch_global_var" , $ ($ args : expr) , *) => { ... };
("$prepare_call_clause" , execute , $ ($ args : expr) , *) => { ... };
("$prepare_call_clause" , $ ($ args : expr) , *) => { ... };
("$module_call" , execute , $ ($ args : expr) , *) => { ... };
("$module_call" , $ ($ args : expr) , *) => { ... };
("$file_time" , execute , $ ($ args : expr) , *) => { ... };
("$file_time" , $ ($ args : expr) , *) => { ... };
("$path_canonical" , execute , $ ($ args : expr) , *) => { ... };
("$path_canonical" , $ ($ args : expr) , *) => { ... };
("$delete_directory" , execute , $ ($ args : expr) , *) => { ... };
("$delete_directory" , $ ($ args : expr) , *) => { ... };
("$working_directory" , execute , $ ($ args : expr) , *) => { ... };
("$working_directory" , $ ($ args : expr) , *) => { ... };
("$file_copy" , execute , $ ($ args : expr) , *) => { ... };
("$file_copy" , $ ($ args : expr) , *) => { ... };
("$rename_file" , execute , $ ($ args : expr) , *) => { ... };
("$rename_file" , $ ($ args : expr) , *) => { ... };
("$delete_file" , execute , $ ($ args : expr) , *) => { ... };
("$delete_file" , $ ($ args : expr) , *) => { ... };
("$make_directory_path" , execute , $ ($ args : expr) , *) => { ... };
("$make_directory_path" , $ ($ args : expr) , *) => { ... };
("$make_directory" , execute , $ ($ args : expr) , *) => { ... };
("$make_directory" , $ ($ args : expr) , *) => { ... };
("$directory_separator" , execute , $ ($ args : expr) , *) => { ... };
("$directory_separator" , $ ($ args : expr) , *) => { ... };
("$directory_exists" , execute , $ ($ args : expr) , *) => { ... };
("$directory_exists" , $ ($ args : expr) , *) => { ... };
("$file_exists" , execute , $ ($ args : expr) , *) => { ... };
("$file_exists" , $ ($ args : expr) , *) => { ... };
("$file_size" , execute , $ ($ args : expr) , *) => { ... };
("$file_size" , $ ($ args : expr) , *) => { ... };
("$directory_files" , execute , $ ($ args : expr) , *) => { ... };
("$directory_files" , $ ($ args : expr) , *) => { ... };
("$current_output" , execute , $ ($ args : expr) , *) => { ... };
("$current_output" , $ ($ args : expr) , *) => { ... };
("$current_input" , execute , $ ($ args : expr) , *) => { ... };
("$current_input" , $ ($ args : expr) , *) => { ... };
("$current_hostname" , execute , $ ($ args : expr) , *) => { ... };
("$current_hostname" , $ ($ args : expr) , *) => { ... };
("$create_partial_string" , execute , $ ($ args : expr) , *) => { ... };
("$create_partial_string" , $ ($ args : expr) , *) => { ... };
("$copy_to_lh" , execute , $ ($ args : expr) , *) => { ... };
("$copy_to_lh" , $ ($ args : expr) , *) => { ... };
("$close" , execute , $ ($ args : expr) , *) => { ... };
("$close" , $ ($ args : expr) , *) => { ... };
("$check_cp" , execute , $ ($ args : expr) , *) => { ... };
("$check_cp" , $ ($ args : expr) , *) => { ... };
("$copy_term_without_attr_vars" , execute , $ ($ args : expr) , *) => { ... };
("$copy_term_without_attr_vars" , $ ($ args : expr) , *) => { ... };
("$codes_to_number" , execute , $ ($ args : expr) , *) => { ... };
("$codes_to_number" , $ ($ args : expr) , *) => { ... };
("$chars_to_number" , execute , $ ($ args : expr) , *) => { ... };
("$chars_to_number" , $ ($ args : expr) , *) => { ... };
("$char_type" , execute , $ ($ args : expr) , *) => { ... };
("$char_type" , $ ($ args : expr) , *) => { ... };
("$char_code" , execute , $ ($ args : expr) , *) => { ... };
("$char_code" , $ ($ args : expr) , *) => { ... };
("$call_continuation" , execute , $ ($ args : expr) , *) => { ... };
("$call_continuation" , $ ($ args : expr) , *) => { ... };
("$bind_from_register" , execute , $ ($ args : expr) , *) => { ... };
("$bind_from_register" , $ ($ args : expr) , *) => { ... };
("$atom_length" , execute , $ ($ args : expr) , *) => { ... };
("$atom_length" , $ ($ args : expr) , *) => { ... };
("$atom_codes" , execute , $ ($ args : expr) , *) => { ... };
("$atom_codes" , $ ($ args : expr) , *) => { ... };
("$atom_chars" , execute , $ ($ args : expr) , *) => { ... };
("$atom_chars" , $ ($ args : expr) , *) => { ... };
("call_named" , execute , default , $ ($ args : expr) , *) => { ... };
("call_named" , default , $ ($ args : expr) , *) => { ... };
("call_named" , execute , $ ($ args : expr) , *) => { ... };
("call_named" , $ ($ args : expr) , *) => { ... };
("var" , execute , $ ($ args : expr) , *) => { ... };
("var" , $ ($ args : expr) , *) => { ... };
("nonvar" , execute , $ ($ args : expr) , *) => { ... };
("nonvar" , $ ($ args : expr) , *) => { ... };
("float" , execute , $ ($ args : expr) , *) => { ... };
("float" , $ ($ args : expr) , *) => { ... };
("rational" , execute , $ ($ args : expr) , *) => { ... };
("rational" , $ ($ args : expr) , *) => { ... };
("number" , execute , $ ($ args : expr) , *) => { ... };
("number" , $ ($ args : expr) , *) => { ... };
("integer" , execute , $ ($ args : expr) , *) => { ... };
("integer" , $ ($ args : expr) , *) => { ... };
("compound" , execute , $ ($ args : expr) , *) => { ... };
("compound" , $ ($ args : expr) , *) => { ... };
("atomic" , execute , $ ($ args : expr) , *) => { ... };
("atomic" , $ ($ args : expr) , *) => { ... };
("atom" , execute , $ ($ args : expr) , *) => { ... };
("atom" , $ ($ args : expr) , *) => { ... };
("=:=" , execute , default , $ ($ args : expr) , *) => { ... };
("=:=" , default , $ ($ args : expr) , *) => { ... };
("=:=" , execute , $ ($ args : expr) , *) => { ... };
("=:=" , $ ($ args : expr) , *) => { ... };
("=\\=" , execute , default , $ ($ args : expr) , *) => { ... };
("=\\=" , default , $ ($ args : expr) , *) => { ... };
("=\\=" , execute , $ ($ args : expr) , *) => { ... };
("=\\=" , $ ($ args : expr) , *) => { ... };
("=<" , execute , default , $ ($ args : expr) , *) => { ... };
("=<" , default , $ ($ args : expr) , *) => { ... };
("=<" , execute , $ ($ args : expr) , *) => { ... };
("=<" , $ ($ args : expr) , *) => { ... };
(">=" , execute , default , $ ($ args : expr) , *) => { ... };
(">=" , default , $ ($ args : expr) , *) => { ... };
(">=" , execute , $ ($ args : expr) , *) => { ... };
(">=" , $ ($ args : expr) , *) => { ... };
("<" , execute , default , $ ($ args : expr) , *) => { ... };
("<" , default , $ ($ args : expr) , *) => { ... };
("<" , execute , $ ($ args : expr) , *) => { ... };
("<" , $ ($ args : expr) , *) => { ... };
(">" , execute , default , $ ($ args : expr) , *) => { ... };
(">" , default , $ ($ args : expr) , *) => { ... };
(">" , execute , $ ($ args : expr) , *) => { ... };
(">" , $ ($ args : expr) , *) => { ... };
("$call" , execute , default , $ ($ args : expr) , *) => { ... };
("$call" , default , $ ($ args : expr) , *) => { ... };
("$call" , execute , $ ($ args : expr) , *) => { ... };
("$call" , $ ($ args : expr) , *) => { ... };
("sort" , execute , default , $ ($ args : expr) , *) => { ... };
("sort" , default , $ ($ args : expr) , *) => { ... };
("sort" , execute , $ ($ args : expr) , *) => { ... };
("sort" , $ ($ args : expr) , *) => { ... };
("keysort" , execute , default , $ ($ args : expr) , *) => { ... };
("keysort" , default , $ ($ args : expr) , *) => { ... };
("keysort" , execute , $ ($ args : expr) , *) => { ... };
("keysort" , $ ($ args : expr) , *) => { ... };
("$get_number" , execute , default , $ ($ args : expr) , *) => { ... };
("$get_number" , default , $ ($ args : expr) , *) => { ... };
("$get_number" , execute , $ ($ args : expr) , *) => { ... };
("$get_number" , $ ($ args : expr) , *) => { ... };
("is" , execute , default , $ ($ args : expr) , *) => { ... };
("is" , default , $ ($ args : expr) , *) => { ... };
("is" , execute , $ ($ args : expr) , *) => { ... };
("is" , $ ($ args : expr) , *) => { ... };
("ground" , execute , default , $ ($ args : expr) , *) => { ... };
("ground" , default , $ ($ args : expr) , *) => { ... };
("ground" , execute , $ ($ args : expr) , *) => { ... };
("ground" , $ ($ args : expr) , *) => { ... };
("functor" , execute , default , $ ($ args : expr) , *) => { ... };
("functor" , default , $ ($ args : expr) , *) => { ... };
("functor" , execute , $ ($ args : expr) , *) => { ... };
("functor" , $ ($ args : expr) , *) => { ... };
("copy_term" , execute , default , $ ($ args : expr) , *) => { ... };
("copy_term" , default , $ ($ args : expr) , *) => { ... };
("copy_term" , execute , $ ($ args : expr) , *) => { ... };
("copy_term" , $ ($ args : expr) , *) => { ... };
("\\==" , execute , default , $ ($ args : expr) , *) => { ... };
("\\==" , default , $ ($ args : expr) , *) => { ... };
("\\==" , execute , $ ($ args : expr) , *) => { ... };
("\\==" , $ ($ args : expr) , *) => { ... };
("==" , execute , default , $ ($ args : expr) , *) => { ... };
("==" , default , $ ($ args : expr) , *) => { ... };
("==" , execute , $ ($ args : expr) , *) => { ... };
("==" , $ ($ args : expr) , *) => { ... };
("@>" , execute , default , $ ($ args : expr) , *) => { ... };
("@>" , default , $ ($ args : expr) , *) => { ... };
("@>" , execute , $ ($ args : expr) , *) => { ... };
("@>" , $ ($ args : expr) , *) => { ... };
("@>=" , execute , default , $ ($ args : expr) , *) => { ... };
("@>=" , default , $ ($ args : expr) , *) => { ... };
("@>=" , execute , $ ($ args : expr) , *) => { ... };
("@>=" , $ ($ args : expr) , *) => { ... };
("@=<" , execute , default , $ ($ args : expr) , *) => { ... };
("@=<" , default , $ ($ args : expr) , *) => { ... };
("@=<" , execute , $ ($ args : expr) , *) => { ... };
("@=<" , $ ($ args : expr) , *) => { ... };
("@<" , execute , default , $ ($ args : expr) , *) => { ... };
("@<" , default , $ ($ args : expr) , *) => { ... };
("@<" , execute , $ ($ args : expr) , *) => { ... };
("@<" , $ ($ args : expr) , *) => { ... };
("compare" , execute , default , $ ($ args : expr) , *) => { ... };
("compare" , default , $ ($ args : expr) , *) => { ... };
("compare" , execute , $ ($ args : expr) , *) => { ... };
("compare" , $ ($ args : expr) , *) => { ... };
("arg" , execute , default , $ ($ args : expr) , *) => { ... };
("arg" , default , $ ($ args : expr) , *) => { ... };
("arg" , execute , $ ($ args : expr) , *) => { ... };
("arg" , $ ($ args : expr) , *) => { ... };
("acyclic_term" , execute , default , $ ($ args : expr) , *) => { ... };
("acyclic_term" , default , $ ($ args : expr) , *) => { ... };
("acyclic_term" , execute , $ ($ args : expr) , *) => { ... };
("acyclic_term" , $ ($ args : expr) , *) => { ... };
("verify_attr_interrupt" , $ ($ args : expr) , *) => { ... };
("install_verify_attr") => { ... };
("break_from_dispatch") => { ... };
("indexing_code" , $ ($ args : expr) , *) => { ... };
("proceed") => { ... };
("rev_jmp_by" , $ ($ args : expr) , *) => { ... };
("jmp_by_call" , $ ($ args : expr) , *) => { ... };
("deallocate") => { ... };
("allocate" , $ ($ args : expr) , *) => { ... };
("bitwise_complement" , $ ($ args : expr) , *) => { ... };
("plus" , $ ($ args : expr) , *) => { ... };
("neg" , $ ($ args : expr) , *) => { ... };
("float_integer_part" , $ ($ args : expr) , *) => { ... };
("float_fractional_part" , $ ($ args : expr) , *) => { ... };
("floor" , $ ($ args : expr) , *) => { ... };
("ceiling" , $ ($ args : expr) , *) => { ... };
("round" , $ ($ args : expr) , *) => { ... };
("truncate" , $ ($ args : expr) , *) => { ... };
("float" , $ ($ args : expr) , *) => { ... };
("abs" , $ ($ args : expr) , *) => { ... };
("sqrt" , $ ($ args : expr) , *) => { ... };
("atan2" , $ ($ args : expr) , *) => { ... };
("atan" , $ ($ args : expr) , *) => { ... };
("asin" , $ ($ args : expr) , *) => { ... };
("acos" , $ ($ args : expr) , *) => { ... };
("exp" , $ ($ args : expr) , *) => { ... };
("log" , $ ($ args : expr) , *) => { ... };
("tan" , $ ($ args : expr) , *) => { ... };
("sin" , $ ($ args : expr) , *) => { ... };
("cos" , $ ($ args : expr) , *) => { ... };
("sign" , $ ($ args : expr) , *) => { ... };
("gcd" , $ ($ args : expr) , *) => { ... };
("rem" , $ ($ args : expr) , *) => { ... };
("mod" , $ ($ args : expr) , *) => { ... };
("or" , $ ($ args : expr) , *) => { ... };
("and" , $ ($ args : expr) , *) => { ... };
("xor" , $ ($ args : expr) , *) => { ... };
("shr" , $ ($ args : expr) , *) => { ... };
("shl" , $ ($ args : expr) , *) => { ... };
("div" , $ ($ args : expr) , *) => { ... };
("r_div" , $ ($ args : expr) , *) => { ... };
("int_floor_div" , $ ($ args : expr) , *) => { ... };
("min" , $ ($ args : expr) , *) => { ... };
("max" , $ ($ args : expr) , *) => { ... };
("i_div" , $ ($ args : expr) , *) => { ... };
("int_pow" , $ ($ args : expr) , *) => { ... };
("pow" , $ ($ args : expr) , *) => { ... };
("mul" , $ ($ args : expr) , *) => { ... };
("sub" , $ ($ args : expr) , *) => { ... };
("add" , $ ($ args : expr) , *) => { ... };
("default_trust_me" , $ ($ args : expr) , *) => { ... };
("trust_me" , $ ($ args : expr) , *) => { ... };
("retry_me_else" , $ ($ args : expr) , *) => { ... };
("default_trust_me" , $ ($ args : expr) , *) => { ... };
("default_retry_me_else" , $ ($ args : expr) , *) => { ... };
("dynamic_internal_else" , $ ($ args : expr) , *) => { ... };
("dynamic_else" , $ ($ args : expr) , *) => { ... };
("neck_cut") => { ... };
("get_cut_point" , $ ($ args : expr) , *) => { ... };
("get_prev_level" , $ ($ args : expr) , *) => { ... };
("get_level" , $ ($ args : expr) , *) => { ... };
("cut_prev" , $ ($ args : expr) , *) => { ... };
("cut" , $ ($ args : expr) , *) => { ... };
("set_void" , $ ($ args : expr) , *) => { ... };
("set_value" , $ ($ args : expr) , *) => { ... };
("set_variable" , $ ($ args : expr) , *) => { ... };
("set_local_value" , $ ($ args : expr) , *) => { ... };
("set_constant" , $ ($ args : expr) , *) => { ... };
("put_variable" , $ ($ args : expr) , *) => { ... };
("put_value" , $ ($ args : expr) , *) => { ... };
("put_unsafe_value" , $ ($ args : expr) , *) => { ... };
("put_structure" , $ ($ args : expr) , *) => { ... };
("put_partial_string" , $ ($ args : expr) , *) => { ... };
("put_list" , $ ($ args : expr) , *) => { ... };
("put_constant" , $ ($ args : expr) , *) => { ... };
("unify_void" , $ ($ args : expr) , *) => { ... };
("unify_value" , $ ($ args : expr) , *) => { ... };
("unify_variable" , $ ($ args : expr) , *) => { ... };
("unify_local_value" , $ ($ args : expr) , *) => { ... };
("unify_constant" , $ ($ args : expr) , *) => { ... };
("get_value" , $ ($ args : expr) , *) => { ... };
("get_variable" , $ ($ args : expr) , *) => { ... };
("get_structure" , $ ($ args : expr) , *) => { ... };
("get_partial_string" , $ ($ args : expr) , *) => { ... };
("get_list" , $ ($ args : expr) , *) => { ... };
("get_constant" , $ ($ args : expr) , *) => { ... };
}