/* This file has been automatically generated. */
ADD_16,
ADD_32,
ADD_64,
ADD_8,
ALL_16,
ALL_32,
ALL_64,
ALL_8,
AND_1,
AND_16,
AND_32,
AND_64,
AND_8,
ANNEX_HASH,
ASSET_AMOUNT_HASH,
BIP_0340_VERIFY,
BUILD_TAPBRANCH,
BUILD_TAPLEAF_SIMPLICITY,
BUILD_TAPTWEAK,
CALCULATE_ASSET,
CALCULATE_CONFIDENTIAL_TOKEN,
CALCULATE_EXPLICIT_TOKEN,
CALCULATE_ISSUANCE_ENTROPY,
CH_1,
CH_16,
CH_32,
CH_64,
CH_8,
CHECK_LOCK_DISTANCE,
CHECK_LOCK_DURATION,
CHECK_LOCK_HEIGHT,
CHECK_LOCK_TIME,
CHECK_SIG_VERIFY,
COMPLEMENT_1,
COMPLEMENT_16,
COMPLEMENT_32,
COMPLEMENT_64,
COMPLEMENT_8,
CURRENT_AMOUNT,
CURRENT_ANNEX_HASH,
CURRENT_ASSET,
CURRENT_INDEX,
CURRENT_ISSUANCE_ASSET_AMOUNT,
CURRENT_ISSUANCE_ASSET_PROOF,
CURRENT_ISSUANCE_TOKEN_AMOUNT,
CURRENT_ISSUANCE_TOKEN_PROOF,
CURRENT_NEW_ISSUANCE_CONTRACT,
CURRENT_PEGIN,
CURRENT_PREV_OUTPOINT,
CURRENT_REISSUANCE_BLINDING,
CURRENT_REISSUANCE_ENTROPY,
CURRENT_SCRIPT_HASH,
CURRENT_SCRIPT_SIG_HASH,
CURRENT_SEQUENCE,
DECOMPRESS,
DECREMENT_16,
DECREMENT_32,
DECREMENT_64,
DECREMENT_8,
DIV_MOD_128_64,
DIV_MOD_16,
DIV_MOD_32,
DIV_MOD_64,
DIV_MOD_8,
DIVIDE_16,
DIVIDE_32,
DIVIDE_64,
DIVIDE_8,
DIVIDES_16,
DIVIDES_32,
DIVIDES_64,
DIVIDES_8,
EQ_1,
EQ_16,
EQ_256,
EQ_32,
EQ_64,
EQ_8,
FE_ADD,
FE_INVERT,
FE_IS_ODD,
FE_IS_ZERO,
FE_MULTIPLY,
FE_MULTIPLY_BETA,
FE_NEGATE,
FE_NORMALIZE,
FE_SQUARE,
FE_SQUARE_ROOT,
FULL_ADD_16,
FULL_ADD_32,
FULL_ADD_64,
FULL_ADD_8,
FULL_DECREMENT_16,
FULL_DECREMENT_32,
FULL_DECREMENT_64,
FULL_DECREMENT_8,
FULL_INCREMENT_16,
FULL_INCREMENT_32,
FULL_INCREMENT_64,
FULL_INCREMENT_8,
FULL_LEFT_SHIFT_16_1,
FULL_LEFT_SHIFT_16_2,
FULL_LEFT_SHIFT_16_4,
FULL_LEFT_SHIFT_16_8,
FULL_LEFT_SHIFT_32_1,
FULL_LEFT_SHIFT_32_16,
FULL_LEFT_SHIFT_32_2,
FULL_LEFT_SHIFT_32_4,
FULL_LEFT_SHIFT_32_8,
FULL_LEFT_SHIFT_64_1,
FULL_LEFT_SHIFT_64_16,
FULL_LEFT_SHIFT_64_2,
FULL_LEFT_SHIFT_64_32,
FULL_LEFT_SHIFT_64_4,
FULL_LEFT_SHIFT_64_8,
FULL_LEFT_SHIFT_8_1,
FULL_LEFT_SHIFT_8_2,
FULL_LEFT_SHIFT_8_4,
FULL_MULTIPLY_16,
FULL_MULTIPLY_32,
FULL_MULTIPLY_64,
FULL_MULTIPLY_8,
FULL_RIGHT_SHIFT_16_1,
FULL_RIGHT_SHIFT_16_2,
FULL_RIGHT_SHIFT_16_4,
FULL_RIGHT_SHIFT_16_8,
FULL_RIGHT_SHIFT_32_1,
FULL_RIGHT_SHIFT_32_16,
FULL_RIGHT_SHIFT_32_2,
FULL_RIGHT_SHIFT_32_4,
FULL_RIGHT_SHIFT_32_8,
FULL_RIGHT_SHIFT_64_1,
FULL_RIGHT_SHIFT_64_16,
FULL_RIGHT_SHIFT_64_2,
FULL_RIGHT_SHIFT_64_32,
FULL_RIGHT_SHIFT_64_4,
FULL_RIGHT_SHIFT_64_8,
FULL_RIGHT_SHIFT_8_1,
FULL_RIGHT_SHIFT_8_2,
FULL_RIGHT_SHIFT_8_4,
FULL_SUBTRACT_16,
FULL_SUBTRACT_32,
FULL_SUBTRACT_64,
FULL_SUBTRACT_8,
GE_IS_ON_CURVE,
GE_NEGATE,
GEJ_ADD,
GEJ_DOUBLE,
GEJ_EQUIV,
GEJ_GE_ADD,
GEJ_GE_ADD_EX,
GEJ_GE_EQUIV,
GEJ_INFINITY,
GEJ_IS_INFINITY,
GEJ_IS_ON_CURVE,
GEJ_NEGATE,
GEJ_NORMALIZE,
GEJ_RESCALE,
GEJ_X_EQUIV,
GEJ_Y_IS_ODD,
GENERATE,
GENESIS_BLOCK_HASH,
HASH_TO_CURVE,
HIGH_1,
HIGH_16,
HIGH_32,
HIGH_64,
HIGH_8,
INCREMENT_16,
INCREMENT_32,
INCREMENT_64,
INCREMENT_8,
INPUT_AMOUNT,
INPUT_AMOUNTS_HASH,
INPUT_ANNEX_HASH,
INPUT_ANNEXES_HASH,
INPUT_ASSET,
INPUT_HASH,
INPUT_OUTPOINTS_HASH,
INPUT_PEGIN,
INPUT_PREV_OUTPOINT,
INPUT_SCRIPT_HASH,
INPUT_SCRIPT_SIG_HASH,
INPUT_SCRIPT_SIGS_HASH,
INPUT_SCRIPTS_HASH,
INPUT_SEQUENCE,
INPUT_SEQUENCES_HASH,
INPUT_UTXO_HASH,
INPUT_UTXOS_HASH,
INPUTS_HASH,
INTERNAL_KEY,
IS_ONE_16,
IS_ONE_32,
IS_ONE_64,
IS_ONE_8,
IS_ZERO_16,
IS_ZERO_32,
IS_ZERO_64,
IS_ZERO_8,
ISSUANCE,
ISSUANCE_ASSET,
ISSUANCE_ASSET_AMOUNT,
ISSUANCE_ASSET_AMOUNTS_HASH,
ISSUANCE_ASSET_PROOF,
ISSUANCE_BLINDING_ENTROPY_HASH,
ISSUANCE_ENTROPY,
ISSUANCE_HASH,
ISSUANCE_RANGE_PROOFS_HASH,
ISSUANCE_TOKEN,
ISSUANCE_TOKEN_AMOUNT,
ISSUANCE_TOKEN_AMOUNTS_HASH,
ISSUANCE_TOKEN_PROOF,
ISSUANCES_HASH,
LBTC_ASSET,
LE_16,
LE_32,
LE_64,
LE_8,
LEFT_EXTEND_16_32,
LEFT_EXTEND_16_64,
LEFT_EXTEND_1_16,
LEFT_EXTEND_1_32,
LEFT_EXTEND_1_64,
LEFT_EXTEND_1_8,
LEFT_EXTEND_32_64,
LEFT_EXTEND_8_16,
LEFT_EXTEND_8_32,
LEFT_EXTEND_8_64,
LEFT_PAD_HIGH_16_32,
LEFT_PAD_HIGH_16_64,
LEFT_PAD_HIGH_1_16,
LEFT_PAD_HIGH_1_32,
LEFT_PAD_HIGH_1_64,
LEFT_PAD_HIGH_1_8,
LEFT_PAD_HIGH_32_64,
LEFT_PAD_HIGH_8_16,
LEFT_PAD_HIGH_8_32,
LEFT_PAD_HIGH_8_64,
LEFT_PAD_LOW_16_32,
LEFT_PAD_LOW_16_64,
LEFT_PAD_LOW_1_16,
LEFT_PAD_LOW_1_32,
LEFT_PAD_LOW_1_64,
LEFT_PAD_LOW_1_8,
LEFT_PAD_LOW_32_64,
LEFT_PAD_LOW_8_16,
LEFT_PAD_LOW_8_32,
LEFT_PAD_LOW_8_64,
LEFT_ROTATE_16,
LEFT_ROTATE_32,
LEFT_ROTATE_64,
LEFT_ROTATE_8,
LEFT_SHIFT_16,
LEFT_SHIFT_32,
LEFT_SHIFT_64,
LEFT_SHIFT_8,
LEFT_SHIFT_WITH_16,
LEFT_SHIFT_WITH_32,
LEFT_SHIFT_WITH_64,
LEFT_SHIFT_WITH_8,
LEFTMOST_16_1,
LEFTMOST_16_2,
LEFTMOST_16_4,
LEFTMOST_16_8,
LEFTMOST_32_1,
LEFTMOST_32_16,
LEFTMOST_32_2,
LEFTMOST_32_4,
LEFTMOST_32_8,
LEFTMOST_64_1,
LEFTMOST_64_16,
LEFTMOST_64_2,
LEFTMOST_64_32,
LEFTMOST_64_4,
LEFTMOST_64_8,
LEFTMOST_8_1,
LEFTMOST_8_2,
LEFTMOST_8_4,
LINEAR_COMBINATION_1,
LINEAR_VERIFY_1,
LOCK_TIME,
LOW_1,
LOW_16,
LOW_32,
LOW_64,
LOW_8,
LT_16,
LT_32,
LT_64,
LT_8,
MAJ_1,
MAJ_16,
MAJ_32,
MAJ_64,
MAJ_8,
MAX_16,
MAX_32,
MAX_64,
MAX_8,
MEDIAN_16,
MEDIAN_32,
MEDIAN_64,
MEDIAN_8,
MIN_16,
MIN_32,
MIN_64,
MIN_8,
MODULO_16,
MODULO_32,
MODULO_64,
MODULO_8,
MULTIPLY_16,
MULTIPLY_32,
MULTIPLY_64,
MULTIPLY_8,
NEGATE_16,
NEGATE_32,
NEGATE_64,
NEGATE_8,
NEW_ISSUANCE_CONTRACT,
NONCE_HASH,
NUM_INPUTS,
NUM_OUTPUTS,
ONE_16,
ONE_32,
ONE_64,
ONE_8,
OR_1,
OR_16,
OR_32,
OR_64,
OR_8,
OUTPOINT_HASH,
OUTPUT_AMOUNT,
OUTPUT_AMOUNTS_HASH,
OUTPUT_ASSET,
OUTPUT_HASH,
OUTPUT_IS_FEE,
OUTPUT_NONCE,
OUTPUT_NONCES_HASH,
OUTPUT_NULL_DATUM,
OUTPUT_RANGE_PROOF,
OUTPUT_RANGE_PROOFS_HASH,
OUTPUT_SCRIPT_HASH,
OUTPUT_SCRIPTS_HASH,
OUTPUT_SURJECTION_PROOF,
OUTPUT_SURJECTION_PROOFS_HASH,
OUTPUTS_HASH,
PARSE_LOCK,
PARSE_SEQUENCE,
POINT_VERIFY_1,
REISSUANCE_BLINDING,
REISSUANCE_ENTROPY,
RIGHT_EXTEND_16_32,
RIGHT_EXTEND_16_64,
RIGHT_EXTEND_32_64,
RIGHT_EXTEND_8_16,
RIGHT_EXTEND_8_32,
RIGHT_EXTEND_8_64,
RIGHT_PAD_HIGH_16_32,
RIGHT_PAD_HIGH_16_64,
RIGHT_PAD_HIGH_1_16,
RIGHT_PAD_HIGH_1_32,
RIGHT_PAD_HIGH_1_64,
RIGHT_PAD_HIGH_1_8,
RIGHT_PAD_HIGH_32_64,
RIGHT_PAD_HIGH_8_16,
RIGHT_PAD_HIGH_8_32,
RIGHT_PAD_HIGH_8_64,
RIGHT_PAD_LOW_16_32,
RIGHT_PAD_LOW_16_64,
RIGHT_PAD_LOW_1_16,
RIGHT_PAD_LOW_1_32,
RIGHT_PAD_LOW_1_64,
RIGHT_PAD_LOW_1_8,
RIGHT_PAD_LOW_32_64,
RIGHT_PAD_LOW_8_16,
RIGHT_PAD_LOW_8_32,
RIGHT_PAD_LOW_8_64,
RIGHT_ROTATE_16,
RIGHT_ROTATE_32,
RIGHT_ROTATE_64,
RIGHT_ROTATE_8,
RIGHT_SHIFT_16,
RIGHT_SHIFT_32,
RIGHT_SHIFT_64,
RIGHT_SHIFT_8,
RIGHT_SHIFT_WITH_16,
RIGHT_SHIFT_WITH_32,
RIGHT_SHIFT_WITH_64,
RIGHT_SHIFT_WITH_8,
RIGHTMOST_16_1,
RIGHTMOST_16_2,
RIGHTMOST_16_4,
RIGHTMOST_16_8,
RIGHTMOST_32_1,
RIGHTMOST_32_16,
RIGHTMOST_32_2,
RIGHTMOST_32_4,
RIGHTMOST_32_8,
RIGHTMOST_64_1,
RIGHTMOST_64_16,
RIGHTMOST_64_2,
RIGHTMOST_64_32,
RIGHTMOST_64_4,
RIGHTMOST_64_8,
RIGHTMOST_8_1,
RIGHTMOST_8_2,
RIGHTMOST_8_4,
SCALAR_ADD,
SCALAR_INVERT,
SCALAR_IS_ZERO,
SCALAR_MULTIPLY,
SCALAR_MULTIPLY_LAMBDA,
SCALAR_NEGATE,
SCALAR_NORMALIZE,
SCALAR_SQUARE,
SCALE,
SCRIPT_CMR,
SHA_256_BLOCK,
SHA_256_CTX_8_ADD_1,
SHA_256_CTX_8_ADD_128,
SHA_256_CTX_8_ADD_16,
SHA_256_CTX_8_ADD_2,
SHA_256_CTX_8_ADD_256,
SHA_256_CTX_8_ADD_32,
SHA_256_CTX_8_ADD_4,
SHA_256_CTX_8_ADD_512,
SHA_256_CTX_8_ADD_64,
SHA_256_CTX_8_ADD_8,
SHA_256_CTX_8_ADD_BUFFER_511,
SHA_256_CTX_8_FINALIZE,
SHA_256_CTX_8_INIT,
SHA_256_IV,
SIG_ALL_HASH,
SOME_1,
SOME_16,
SOME_32,
SOME_64,
SOME_8,
SUBTRACT_16,
SUBTRACT_32,
SUBTRACT_64,
SUBTRACT_8,
SWU,
TAP_ENV_HASH,
TAPDATA_INIT,
TAPLEAF_HASH,
TAPLEAF_VERSION,
TAPPATH,
TAPPATH_HASH,
TOTAL_FEE,
TRANSACTION_ID,
TX_HASH,
TX_IS_FINAL,
TX_LOCK_DISTANCE,
TX_LOCK_DURATION,
TX_LOCK_HEIGHT,
TX_LOCK_TIME,
VERIFY,
VERSION,
XOR_1,
XOR_16,
XOR_32,
XOR_64,
XOR_8,
XOR_XOR_1,
XOR_XOR_16,
XOR_XOR_32,
XOR_XOR_64,
XOR_XOR_8,