/* This file has been automatically generated. */

#include "simplicity/primitive/elements/jets.h"
#include "simplicity/simplicity_assert.h"
#include "wrapper.h"

WRAP_(add_16)
WRAP_(add_32)
WRAP_(add_64)
WRAP_(add_8)
WRAP_(all_16)
WRAP_(all_32)
WRAP_(all_64)
WRAP_(all_8)
WRAP_(and_1)
WRAP_(and_16)
WRAP_(and_32)
WRAP_(and_64)
WRAP_(and_8)
WRAP_(annex_hash)
WRAP_(asset_amount_hash)
WRAP_(bip_0340_verify)
WRAP_(build_tapbranch)
WRAP_(build_tapleaf_simplicity)
WRAP_(build_taptweak)
WRAP_(calculate_asset)
WRAP_(calculate_confidential_token)
WRAP_(calculate_explicit_token)
WRAP_(calculate_issuance_entropy)
WRAP_(ch_1)
WRAP_(ch_16)
WRAP_(ch_32)
WRAP_(ch_64)
WRAP_(ch_8)
WRAP_(check_lock_distance)
WRAP_(check_lock_duration)
WRAP_(check_lock_height)
WRAP_(check_lock_time)
WRAP_(check_sig_verify)
WRAP_(complement_1)
WRAP_(complement_16)
WRAP_(complement_32)
WRAP_(complement_64)
WRAP_(complement_8)
WRAP_(current_amount)
WRAP_(current_annex_hash)
WRAP_(current_asset)
WRAP_(current_index)
WRAP_(current_issuance_asset_amount)
WRAP_(current_issuance_asset_proof)
WRAP_(current_issuance_token_amount)
WRAP_(current_issuance_token_proof)
WRAP_(current_new_issuance_contract)
WRAP_(current_pegin)
WRAP_(current_prev_outpoint)
WRAP_(current_reissuance_blinding)
WRAP_(current_reissuance_entropy)
WRAP_(current_script_hash)
WRAP_(current_script_sig_hash)
WRAP_(current_sequence)
WRAP_(decompress)
WRAP_(decrement_16)
WRAP_(decrement_32)
WRAP_(decrement_64)
WRAP_(decrement_8)
WRAP_(div_mod_128_64)
WRAP_(div_mod_16)
WRAP_(div_mod_32)
WRAP_(div_mod_64)
WRAP_(div_mod_8)
WRAP_(divide_16)
WRAP_(divide_32)
WRAP_(divide_64)
WRAP_(divide_8)
WRAP_(divides_16)
WRAP_(divides_32)
WRAP_(divides_64)
WRAP_(divides_8)
WRAP_(eq_1)
WRAP_(eq_16)
WRAP_(eq_256)
WRAP_(eq_32)
WRAP_(eq_64)
WRAP_(eq_8)
WRAP_(fe_add)
WRAP_(fe_invert)
WRAP_(fe_is_odd)
WRAP_(fe_is_zero)
WRAP_(fe_multiply)
WRAP_(fe_multiply_beta)
WRAP_(fe_negate)
WRAP_(fe_normalize)
WRAP_(fe_square)
WRAP_(fe_square_root)
WRAP_(full_add_16)
WRAP_(full_add_32)
WRAP_(full_add_64)
WRAP_(full_add_8)
WRAP_(full_decrement_16)
WRAP_(full_decrement_32)
WRAP_(full_decrement_64)
WRAP_(full_decrement_8)
WRAP_(full_increment_16)
WRAP_(full_increment_32)
WRAP_(full_increment_64)
WRAP_(full_increment_8)
WRAP_(full_left_shift_16_1)
WRAP_(full_left_shift_16_2)
WRAP_(full_left_shift_16_4)
WRAP_(full_left_shift_16_8)
WRAP_(full_left_shift_32_1)
WRAP_(full_left_shift_32_16)
WRAP_(full_left_shift_32_2)
WRAP_(full_left_shift_32_4)
WRAP_(full_left_shift_32_8)
WRAP_(full_left_shift_64_1)
WRAP_(full_left_shift_64_16)
WRAP_(full_left_shift_64_2)
WRAP_(full_left_shift_64_32)
WRAP_(full_left_shift_64_4)
WRAP_(full_left_shift_64_8)
WRAP_(full_left_shift_8_1)
WRAP_(full_left_shift_8_2)
WRAP_(full_left_shift_8_4)
WRAP_(full_multiply_16)
WRAP_(full_multiply_32)
WRAP_(full_multiply_64)
WRAP_(full_multiply_8)
WRAP_(full_right_shift_16_1)
WRAP_(full_right_shift_16_2)
WRAP_(full_right_shift_16_4)
WRAP_(full_right_shift_16_8)
WRAP_(full_right_shift_32_1)
WRAP_(full_right_shift_32_16)
WRAP_(full_right_shift_32_2)
WRAP_(full_right_shift_32_4)
WRAP_(full_right_shift_32_8)
WRAP_(full_right_shift_64_1)
WRAP_(full_right_shift_64_16)
WRAP_(full_right_shift_64_2)
WRAP_(full_right_shift_64_32)
WRAP_(full_right_shift_64_4)
WRAP_(full_right_shift_64_8)
WRAP_(full_right_shift_8_1)
WRAP_(full_right_shift_8_2)
WRAP_(full_right_shift_8_4)
WRAP_(full_subtract_16)
WRAP_(full_subtract_32)
WRAP_(full_subtract_64)
WRAP_(full_subtract_8)
WRAP_(ge_is_on_curve)
WRAP_(ge_negate)
WRAP_(gej_add)
WRAP_(gej_double)
WRAP_(gej_equiv)
WRAP_(gej_ge_add)
WRAP_(gej_ge_add_ex)
WRAP_(gej_ge_equiv)
WRAP_(gej_infinity)
WRAP_(gej_is_infinity)
WRAP_(gej_is_on_curve)
WRAP_(gej_negate)
WRAP_(gej_normalize)
WRAP_(gej_rescale)
WRAP_(gej_x_equiv)
WRAP_(gej_y_is_odd)
WRAP_(generate)
WRAP_(genesis_block_hash)
WRAP_(hash_to_curve)
WRAP_(high_1)
WRAP_(high_16)
WRAP_(high_32)
WRAP_(high_64)
WRAP_(high_8)
WRAP_(increment_16)
WRAP_(increment_32)
WRAP_(increment_64)
WRAP_(increment_8)
WRAP_(input_amount)
WRAP_(input_amounts_hash)
WRAP_(input_annex_hash)
WRAP_(input_annexes_hash)
WRAP_(input_asset)
WRAP_(input_hash)
WRAP_(input_outpoints_hash)
WRAP_(input_pegin)
WRAP_(input_prev_outpoint)
WRAP_(input_script_hash)
WRAP_(input_script_sig_hash)
WRAP_(input_script_sigs_hash)
WRAP_(input_scripts_hash)
WRAP_(input_sequence)
WRAP_(input_sequences_hash)
WRAP_(input_utxo_hash)
WRAP_(input_utxos_hash)
WRAP_(inputs_hash)
WRAP_(internal_key)
WRAP_(is_one_16)
WRAP_(is_one_32)
WRAP_(is_one_64)
WRAP_(is_one_8)
WRAP_(is_zero_16)
WRAP_(is_zero_32)
WRAP_(is_zero_64)
WRAP_(is_zero_8)
WRAP_(issuance)
WRAP_(issuance_asset)
WRAP_(issuance_asset_amount)
WRAP_(issuance_asset_amounts_hash)
WRAP_(issuance_asset_proof)
WRAP_(issuance_blinding_entropy_hash)
WRAP_(issuance_entropy)
WRAP_(issuance_hash)
WRAP_(issuance_range_proofs_hash)
WRAP_(issuance_token)
WRAP_(issuance_token_amount)
WRAP_(issuance_token_amounts_hash)
WRAP_(issuance_token_proof)
WRAP_(issuances_hash)
WRAP_(lbtc_asset)
WRAP_(le_16)
WRAP_(le_32)
WRAP_(le_64)
WRAP_(le_8)
WRAP_(left_extend_16_32)
WRAP_(left_extend_16_64)
WRAP_(left_extend_1_16)
WRAP_(left_extend_1_32)
WRAP_(left_extend_1_64)
WRAP_(left_extend_1_8)
WRAP_(left_extend_32_64)
WRAP_(left_extend_8_16)
WRAP_(left_extend_8_32)
WRAP_(left_extend_8_64)
WRAP_(left_pad_high_16_32)
WRAP_(left_pad_high_16_64)
WRAP_(left_pad_high_1_16)
WRAP_(left_pad_high_1_32)
WRAP_(left_pad_high_1_64)
WRAP_(left_pad_high_1_8)
WRAP_(left_pad_high_32_64)
WRAP_(left_pad_high_8_16)
WRAP_(left_pad_high_8_32)
WRAP_(left_pad_high_8_64)
WRAP_(left_pad_low_16_32)
WRAP_(left_pad_low_16_64)
WRAP_(left_pad_low_1_16)
WRAP_(left_pad_low_1_32)
WRAP_(left_pad_low_1_64)
WRAP_(left_pad_low_1_8)
WRAP_(left_pad_low_32_64)
WRAP_(left_pad_low_8_16)
WRAP_(left_pad_low_8_32)
WRAP_(left_pad_low_8_64)
WRAP_(left_rotate_16)
WRAP_(left_rotate_32)
WRAP_(left_rotate_64)
WRAP_(left_rotate_8)
WRAP_(left_shift_16)
WRAP_(left_shift_32)
WRAP_(left_shift_64)
WRAP_(left_shift_8)
WRAP_(left_shift_with_16)
WRAP_(left_shift_with_32)
WRAP_(left_shift_with_64)
WRAP_(left_shift_with_8)
WRAP_(leftmost_16_1)
WRAP_(leftmost_16_2)
WRAP_(leftmost_16_4)
WRAP_(leftmost_16_8)
WRAP_(leftmost_32_1)
WRAP_(leftmost_32_16)
WRAP_(leftmost_32_2)
WRAP_(leftmost_32_4)
WRAP_(leftmost_32_8)
WRAP_(leftmost_64_1)
WRAP_(leftmost_64_16)
WRAP_(leftmost_64_2)
WRAP_(leftmost_64_32)
WRAP_(leftmost_64_4)
WRAP_(leftmost_64_8)
WRAP_(leftmost_8_1)
WRAP_(leftmost_8_2)
WRAP_(leftmost_8_4)
WRAP_(linear_combination_1)
WRAP_(linear_verify_1)
WRAP_(lock_time)
WRAP_(low_1)
WRAP_(low_16)
WRAP_(low_32)
WRAP_(low_64)
WRAP_(low_8)
WRAP_(lt_16)
WRAP_(lt_32)
WRAP_(lt_64)
WRAP_(lt_8)
WRAP_(maj_1)
WRAP_(maj_16)
WRAP_(maj_32)
WRAP_(maj_64)
WRAP_(maj_8)
WRAP_(max_16)
WRAP_(max_32)
WRAP_(max_64)
WRAP_(max_8)
WRAP_(median_16)
WRAP_(median_32)
WRAP_(median_64)
WRAP_(median_8)
WRAP_(min_16)
WRAP_(min_32)
WRAP_(min_64)
WRAP_(min_8)
WRAP_(modulo_16)
WRAP_(modulo_32)
WRAP_(modulo_64)
WRAP_(modulo_8)
WRAP_(multiply_16)
WRAP_(multiply_32)
WRAP_(multiply_64)
WRAP_(multiply_8)
WRAP_(negate_16)
WRAP_(negate_32)
WRAP_(negate_64)
WRAP_(negate_8)
WRAP_(new_issuance_contract)
WRAP_(nonce_hash)
WRAP_(num_inputs)
WRAP_(num_outputs)
WRAP_(one_16)
WRAP_(one_32)
WRAP_(one_64)
WRAP_(one_8)
WRAP_(or_1)
WRAP_(or_16)
WRAP_(or_32)
WRAP_(or_64)
WRAP_(or_8)
WRAP_(outpoint_hash)
WRAP_(output_amount)
WRAP_(output_amounts_hash)
WRAP_(output_asset)
WRAP_(output_hash)
WRAP_(output_is_fee)
WRAP_(output_nonce)
WRAP_(output_nonces_hash)
WRAP_(output_null_datum)
WRAP_(output_range_proof)
WRAP_(output_range_proofs_hash)
WRAP_(output_script_hash)
WRAP_(output_scripts_hash)
WRAP_(output_surjection_proof)
WRAP_(output_surjection_proofs_hash)
WRAP_(outputs_hash)
WRAP_(parse_lock)
WRAP_(parse_sequence)
WRAP_(point_verify_1)
WRAP_(reissuance_blinding)
WRAP_(reissuance_entropy)
WRAP_(right_extend_16_32)
WRAP_(right_extend_16_64)
WRAP_(right_extend_32_64)
WRAP_(right_extend_8_16)
WRAP_(right_extend_8_32)
WRAP_(right_extend_8_64)
WRAP_(right_pad_high_16_32)
WRAP_(right_pad_high_16_64)
WRAP_(right_pad_high_1_16)
WRAP_(right_pad_high_1_32)
WRAP_(right_pad_high_1_64)
WRAP_(right_pad_high_1_8)
WRAP_(right_pad_high_32_64)
WRAP_(right_pad_high_8_16)
WRAP_(right_pad_high_8_32)
WRAP_(right_pad_high_8_64)
WRAP_(right_pad_low_16_32)
WRAP_(right_pad_low_16_64)
WRAP_(right_pad_low_1_16)
WRAP_(right_pad_low_1_32)
WRAP_(right_pad_low_1_64)
WRAP_(right_pad_low_1_8)
WRAP_(right_pad_low_32_64)
WRAP_(right_pad_low_8_16)
WRAP_(right_pad_low_8_32)
WRAP_(right_pad_low_8_64)
WRAP_(right_rotate_16)
WRAP_(right_rotate_32)
WRAP_(right_rotate_64)
WRAP_(right_rotate_8)
WRAP_(right_shift_16)
WRAP_(right_shift_32)
WRAP_(right_shift_64)
WRAP_(right_shift_8)
WRAP_(right_shift_with_16)
WRAP_(right_shift_with_32)
WRAP_(right_shift_with_64)
WRAP_(right_shift_with_8)
WRAP_(rightmost_16_1)
WRAP_(rightmost_16_2)
WRAP_(rightmost_16_4)
WRAP_(rightmost_16_8)
WRAP_(rightmost_32_1)
WRAP_(rightmost_32_16)
WRAP_(rightmost_32_2)
WRAP_(rightmost_32_4)
WRAP_(rightmost_32_8)
WRAP_(rightmost_64_1)
WRAP_(rightmost_64_16)
WRAP_(rightmost_64_2)
WRAP_(rightmost_64_32)
WRAP_(rightmost_64_4)
WRAP_(rightmost_64_8)
WRAP_(rightmost_8_1)
WRAP_(rightmost_8_2)
WRAP_(rightmost_8_4)
WRAP_(scalar_add)
WRAP_(scalar_invert)
WRAP_(scalar_is_zero)
WRAP_(scalar_multiply)
WRAP_(scalar_multiply_lambda)
WRAP_(scalar_negate)
WRAP_(scalar_normalize)
WRAP_(scalar_square)
WRAP_(scale)
WRAP_(script_cmr)
WRAP_(sha_256_block)
WRAP_(sha_256_ctx_8_add_1)
WRAP_(sha_256_ctx_8_add_128)
WRAP_(sha_256_ctx_8_add_16)
WRAP_(sha_256_ctx_8_add_2)
WRAP_(sha_256_ctx_8_add_256)
WRAP_(sha_256_ctx_8_add_32)
WRAP_(sha_256_ctx_8_add_4)
WRAP_(sha_256_ctx_8_add_512)
WRAP_(sha_256_ctx_8_add_64)
WRAP_(sha_256_ctx_8_add_8)
WRAP_(sha_256_ctx_8_add_buffer_511)
WRAP_(sha_256_ctx_8_finalize)
WRAP_(sha_256_ctx_8_init)
WRAP_(sha_256_iv)
WRAP_(sig_all_hash)
WRAP_(some_1)
WRAP_(some_16)
WRAP_(some_32)
WRAP_(some_64)
WRAP_(some_8)
WRAP_(subtract_16)
WRAP_(subtract_32)
WRAP_(subtract_64)
WRAP_(subtract_8)
WRAP_(swu)
WRAP_(tap_env_hash)
WRAP_(tapdata_init)
WRAP_(tapleaf_hash)
WRAP_(tapleaf_version)
WRAP_(tappath)
WRAP_(tappath_hash)
WRAP_(total_fee)
WRAP_(transaction_id)
WRAP_(tx_hash)
WRAP_(tx_is_final)
WRAP_(tx_lock_distance)
WRAP_(tx_lock_duration)
WRAP_(tx_lock_height)
WRAP_(tx_lock_time)
WRAP_(verify)
WRAP_(version)
WRAP_(xor_1)
WRAP_(xor_16)
WRAP_(xor_32)
WRAP_(xor_64)
WRAP_(xor_8)
WRAP_(xor_xor_1)
WRAP_(xor_xor_16)
WRAP_(xor_xor_32)
WRAP_(xor_xor_64)
WRAP_(xor_xor_8)