LIBRARY libevercrypt

EXPORTS
  Hacl_Hash_Blake2b_init
  Hacl_Hash_Blake2b_update_multi
  Hacl_Hash_Blake2b_update_last
  Hacl_Hash_Blake2b_finish
  Hacl_Hash_Blake2b_malloc_with_params_and_key
  Hacl_Hash_Blake2b_malloc_with_key
  Hacl_Hash_Blake2b_malloc
  Hacl_Hash_Blake2b_reset_with_key_and_params
  Hacl_Hash_Blake2b_reset_with_key
  Hacl_Hash_Blake2b_reset
  Hacl_Hash_Blake2b_update
  Hacl_Hash_Blake2b_digest
  Hacl_Hash_Blake2b_info
  Hacl_Hash_Blake2b_free
  Hacl_Hash_Blake2b_copy
  Hacl_Hash_Blake2b_hash_with_key
  Hacl_Hash_Blake2b_hash_with_key_and_params
  Hacl_Hash_Blake2s_init
  Hacl_Hash_Blake2s_update_multi
  Hacl_Hash_Blake2s_update_last
  Hacl_Hash_Blake2s_finish
  Hacl_Hash_Blake2s_malloc_with_params_and_key
  Hacl_Hash_Blake2s_malloc_with_key
  Hacl_Hash_Blake2s_malloc
  Hacl_Hash_Blake2s_reset_with_key_and_params
  Hacl_Hash_Blake2s_reset_with_key
  Hacl_Hash_Blake2s_reset
  Hacl_Hash_Blake2s_update
  Hacl_Hash_Blake2s_digest
  Hacl_Hash_Blake2s_info
  Hacl_Hash_Blake2s_free
  Hacl_Hash_Blake2s_copy
  Hacl_Hash_Blake2s_hash_with_key
  Hacl_Hash_Blake2s_hash_with_key_and_params
  Hacl_Hash_Blake2b_Simd256_init
  Hacl_Hash_Blake2b_Simd256_update_multi
  Hacl_Hash_Blake2b_Simd256_update_last
  Hacl_Hash_Blake2b_Simd256_finish
  Hacl_Hash_Blake2b_Simd256_load_state256b_from_state32
  Hacl_Hash_Blake2b_Simd256_store_state256b_to_state32
  Hacl_Hash_Blake2b_Simd256_malloc_internal_state_with_key
  Hacl_Hash_Blake2b_Simd256_update_multi_no_inline
  Hacl_Hash_Blake2b_Simd256_update_last_no_inline
  Hacl_Hash_Blake2b_Simd256_copy_internal_state
  Hacl_Hash_Blake2b_Simd256_malloc_with_params_and_key
  Hacl_Hash_Blake2b_Simd256_malloc_with_key
  Hacl_Hash_Blake2b_Simd256_malloc
  Hacl_Hash_Blake2b_Simd256_reset_with_key_and_params
  Hacl_Hash_Blake2b_Simd256_reset_with_key
  Hacl_Hash_Blake2b_Simd256_reset
  Hacl_Hash_Blake2b_Simd256_update
  Hacl_Hash_Blake2b_Simd256_digest
  Hacl_Hash_Blake2b_Simd256_info
  Hacl_Hash_Blake2b_Simd256_free
  Hacl_Hash_Blake2b_Simd256_copy
  Hacl_Hash_Blake2b_Simd256_hash_with_key
  Hacl_Hash_Blake2b_Simd256_hash_with_key_and_params
  Hacl_Hash_Blake2s_Simd128_init
  Hacl_Hash_Blake2s_Simd128_update_multi
  Hacl_Hash_Blake2s_Simd128_update_last
  Hacl_Hash_Blake2s_Simd128_finish
  Hacl_Hash_Blake2s_Simd128_store_state128s_to_state32
  Hacl_Hash_Blake2s_Simd128_load_state128s_from_state32
  Hacl_Hash_Blake2s_Simd128_malloc_internal_state_with_key
  Hacl_Hash_Blake2s_Simd128_update_multi_no_inline
  Hacl_Hash_Blake2s_Simd128_update_last_no_inline
  Hacl_Hash_Blake2s_Simd128_copy_internal_state
  Hacl_Hash_Blake2s_Simd128_malloc_with_params_and_key
  Hacl_Hash_Blake2s_Simd128_malloc_with_key
  Hacl_Hash_Blake2s_Simd128_malloc
  Hacl_Hash_Blake2s_Simd128_reset_with_key_and_params
  Hacl_Hash_Blake2s_Simd128_reset_with_key
  Hacl_Hash_Blake2s_Simd128_reset
  Hacl_Hash_Blake2s_Simd128_update
  Hacl_Hash_Blake2s_Simd128_digest
  Hacl_Hash_Blake2s_Simd128_info
  Hacl_Hash_Blake2s_Simd128_free
  Hacl_Hash_Blake2s_Simd128_copy
  Hacl_Hash_Blake2s_Simd128_hash_with_key
  Hacl_Hash_Blake2s_Simd128_hash_with_key_and_params
  Hacl_Hash_Definitions_word_len
  Hacl_Hash_Definitions_block_len
  Hacl_Hash_Definitions_hash_word_len
  Hacl_Hash_Definitions_hash_len
  Hacl_Hash_MD5_init
  Hacl_Hash_MD5_finish
  Hacl_Hash_MD5_update_multi
  Hacl_Hash_MD5_update_last
  Hacl_Hash_MD5_hash_oneshot
  Hacl_Hash_MD5_malloc
  LowStar_BufferOps_op_Bang_Star__Hacl_Streaming_Functor_state_s__uint32_t____
  Hacl_Hash_MD5_reset
  LowStar_BufferOps_op_Star_Equals__Hacl_Streaming_Functor_state_s__uint32_t____
  Hacl_Hash_MD5_update
  Hacl_Hash_MD5_digest
  Hacl_Hash_MD5_free
  Hacl_Hash_MD5_copy
  Hacl_Hash_MD5_hash
  Hacl_Hash_SHA1_init
  Hacl_Hash_SHA1_finish
  Hacl_Hash_SHA1_update_multi
  Hacl_Hash_SHA1_update_last
  Hacl_Hash_SHA1_hash_oneshot
  Hacl_Hash_SHA1_malloc
  Hacl_Hash_SHA1_reset
  Hacl_Hash_SHA1_update
  Hacl_Hash_SHA1_digest
  Hacl_Hash_SHA1_free
  Hacl_Hash_SHA1_copy
  Hacl_Hash_SHA1_hash
  Hacl_Hash_SHA3_init_
  Hacl_Hash_SHA3_update_multi_sha3
  Hacl_Hash_SHA3_update_last_sha3
  Hacl_Hash_SHA3_get_alg
  Hacl_Hash_SHA3_malloc
  Hacl_Hash_SHA3_free
  Hacl_Hash_SHA3_copy
  Hacl_Hash_SHA3_reset
  Hacl_Hash_SHA3_update
  Hacl_Hash_SHA3_digest
  Hacl_Hash_SHA3_squeeze
  Hacl_Hash_SHA3_block_len
  Hacl_Hash_SHA3_hash_len
  Hacl_Hash_SHA3_is_shake
  Hacl_Hash_SHA3_absorb_inner_32
  Hacl_Hash_SHA3_shake128
  Hacl_Hash_SHA3_shake256
  Hacl_Hash_SHA3_sha3_224
  Hacl_Hash_SHA3_sha3_256
  Hacl_Hash_SHA3_sha3_384
  Hacl_Hash_SHA3_sha3_512
  Hacl_Hash_SHA3_state_malloc
  Hacl_Hash_SHA3_state_free
  Hacl_Hash_SHA3_shake128_absorb_nblocks
  Hacl_Hash_SHA3_shake128_absorb_final
  Hacl_Hash_SHA3_shake128_squeeze_nblocks
  Hacl_Hash_SHA2_sha256_init
  Hacl_Hash_SHA2_sha256_update_nblocks
  Hacl_Hash_SHA2_sha256_update_last
  Hacl_Hash_SHA2_sha256_finish
  Hacl_Hash_SHA2_sha224_init
  Hacl_Hash_SHA2_sha224_update_nblocks
  Hacl_Hash_SHA2_sha224_update_last
  Hacl_Hash_SHA2_sha224_finish
  Hacl_Hash_SHA2_sha512_init
  Hacl_Hash_SHA2_sha512_update_nblocks
  Hacl_Hash_SHA2_sha512_update_last
  Hacl_Hash_SHA2_sha512_finish
  Hacl_Hash_SHA2_sha384_init
  Hacl_Hash_SHA2_sha384_update_nblocks
  Hacl_Hash_SHA2_sha384_update_last
  Hacl_Hash_SHA2_sha384_finish
  Hacl_Hash_SHA2_malloc_256
  Hacl_Hash_SHA2_copy_256
  Hacl_Hash_SHA2_reset_256
  Hacl_Hash_SHA2_update_256
  Hacl_Hash_SHA2_digest_256
  Hacl_Hash_SHA2_free_256
  Hacl_Hash_SHA2_hash_256
  Hacl_Hash_SHA2_malloc_224
  Hacl_Hash_SHA2_reset_224
  Hacl_Hash_SHA2_update_224
  Hacl_Hash_SHA2_digest_224
  Hacl_Hash_SHA2_free_224
  Hacl_Hash_SHA2_hash_224
  Hacl_Hash_SHA2_malloc_512
  Hacl_Hash_SHA2_copy_512
  Hacl_Hash_SHA2_reset_512
  Hacl_Hash_SHA2_update_512
  Hacl_Hash_SHA2_digest_512
  Hacl_Hash_SHA2_free_512
  Hacl_Hash_SHA2_hash_512
  Hacl_Hash_SHA2_malloc_384
  Hacl_Hash_SHA2_reset_384
  Hacl_Hash_SHA2_update_384
  Hacl_Hash_SHA2_digest_384
  Hacl_Hash_SHA2_free_384
  Hacl_Hash_SHA2_hash_384
  Hacl_HMAC_compute_md5
  Hacl_HMAC_compute_sha1
  Hacl_HMAC_compute_sha2_224
  Hacl_HMAC_compute_sha2_256
  Hacl_HMAC_compute_sha2_384
  Hacl_HMAC_compute_sha2_512
  Hacl_HMAC_compute_sha3_224
  Hacl_HMAC_compute_sha3_256
  Hacl_HMAC_compute_sha3_384
  Hacl_HMAC_compute_sha3_512
  Hacl_HMAC_compute_blake2s_32
  Hacl_HMAC_compute_blake2b_32
  Hacl_HMAC_Blake2s_128_compute_blake2s_128
  Hacl_HMAC_Blake2b_256_compute_blake2b_256
  Hacl_Hash_SHA3_Simd256_absorb_inner_256
  Hacl_Hash_SHA3_Simd256_shake128
  Hacl_Hash_SHA3_Simd256_shake256
  Hacl_Hash_SHA3_Simd256_sha3_224
  Hacl_Hash_SHA3_Simd256_sha3_256
  Hacl_Hash_SHA3_Simd256_sha3_384
  Hacl_Hash_SHA3_Simd256_sha3_512
  Hacl_Hash_SHA3_Simd256_state_malloc
  Hacl_Hash_SHA3_Simd256_state_free
  Hacl_Hash_SHA3_Simd256_shake128_absorb_nblocks
  Hacl_Hash_SHA3_Simd256_shake128_absorb_final
  Hacl_Hash_SHA3_Simd256_shake128_squeeze_nblocks
  EverCrypt_AutoConfig2_has_shaext
  EverCrypt_AutoConfig2_has_aesni
  EverCrypt_AutoConfig2_has_pclmulqdq
  EverCrypt_AutoConfig2_has_avx2
  EverCrypt_AutoConfig2_has_avx
  EverCrypt_AutoConfig2_has_bmi2
  EverCrypt_AutoConfig2_has_adx
  EverCrypt_AutoConfig2_has_sse
  EverCrypt_AutoConfig2_has_movbe
  EverCrypt_AutoConfig2_has_rdrand
  EverCrypt_AutoConfig2_has_avx512
  EverCrypt_AutoConfig2_recall
  EverCrypt_AutoConfig2_init
  EverCrypt_AutoConfig2_disable_avx2
  EverCrypt_AutoConfig2_disable_avx
  EverCrypt_AutoConfig2_disable_bmi2
  EverCrypt_AutoConfig2_disable_adx
  EverCrypt_AutoConfig2_disable_shaext
  EverCrypt_AutoConfig2_disable_aesni
  EverCrypt_AutoConfig2_disable_pclmulqdq
  EverCrypt_AutoConfig2_disable_sse
  EverCrypt_AutoConfig2_disable_movbe
  EverCrypt_AutoConfig2_disable_rdrand
  EverCrypt_AutoConfig2_disable_avx512
  EverCrypt_AutoConfig2_has_vec128
  EverCrypt_AutoConfig2_has_vec256
  EverCrypt_Hash_update_multi_256
  EverCrypt_Hash_Incremental_hash_len
  EverCrypt_Hash_Incremental_malloc
  EverCrypt_Hash_Incremental_reset
  EverCrypt_Hash_Incremental_update
  EverCrypt_Hash_Incremental_alg_of_state
  EverCrypt_Hash_Incremental_digest
  EverCrypt_Hash_Incremental_free
  EverCrypt_Hash_Incremental_hash_256
  EverCrypt_Hash_Incremental_hash
  Hacl_Impl_Chacha20_chacha20_init
  Hacl_Impl_Chacha20_chacha20_update
  Hacl_Chacha20_chacha20_encrypt
  Hacl_Chacha20_chacha20_decrypt
  Hacl_Salsa20_salsa20_encrypt
  Hacl_Salsa20_salsa20_decrypt
  Hacl_Salsa20_salsa20_key_block0
  Hacl_Salsa20_hsalsa20
  Hacl_Bignum_Base_mul_wide_add2_u32
  Hacl_Bignum_Base_mul_wide_add2_u64
  Hacl_Bignum_Convert_bn_from_bytes_be_uint64
  Hacl_Bignum_Convert_bn_to_bytes_be_uint64
  Hacl_Bignum_Lib_bn_get_top_index_u32
  Hacl_Bignum_Lib_bn_get_top_index_u64
  Hacl_Bignum_Lib_bn_get_bits_u32
  Hacl_Bignum_Lib_bn_get_bits_u64
  Hacl_Bignum_Addition_bn_sub_eq_len_u32
  Hacl_Bignum_Addition_bn_sub_eq_len_u64
  Hacl_Bignum_Addition_bn_add_eq_len_u32
  Hacl_Bignum_Addition_bn_add_eq_len_u64
  Hacl_Bignum_Multiplication_bn_mul_u32
  Hacl_Bignum_Multiplication_bn_mul_u64
  Hacl_Bignum_Multiplication_bn_sqr_u32
  Hacl_Bignum_Multiplication_bn_sqr_u64
  Hacl_Bignum_Karatsuba_bn_karatsuba_mul_uint32
  Hacl_Bignum_Karatsuba_bn_karatsuba_mul_uint64
  Hacl_Bignum_Karatsuba_bn_karatsuba_sqr_uint32
  Hacl_Bignum_Karatsuba_bn_karatsuba_sqr_uint64
  Hacl_Bignum_bn_add_mod_n_u32
  Hacl_Bignum_bn_add_mod_n_u64
  Hacl_Bignum_bn_sub_mod_n_u32
  Hacl_Bignum_bn_sub_mod_n_u64
  Hacl_Bignum_ModInvLimb_mod_inv_uint32
  Hacl_Bignum_ModInvLimb_mod_inv_uint64
  Hacl_Bignum_Montgomery_bn_check_modulus_u32
  Hacl_Bignum_Montgomery_bn_precomp_r2_mod_n_u32
  Hacl_Bignum_Montgomery_bn_to_mont_u32
  Hacl_Bignum_Montgomery_bn_from_mont_u32
  Hacl_Bignum_Montgomery_bn_mont_mul_u32
  Hacl_Bignum_Montgomery_bn_mont_sqr_u32
  Hacl_Bignum_Montgomery_bn_check_modulus_u64
  Hacl_Bignum_Montgomery_bn_precomp_r2_mod_n_u64
  Hacl_Bignum_Montgomery_bn_to_mont_u64
  Hacl_Bignum_Montgomery_bn_from_mont_u64
  Hacl_Bignum_Montgomery_bn_mont_mul_u64
  Hacl_Bignum_Montgomery_bn_mont_sqr_u64
  Hacl_Bignum_AlmostMontgomery_bn_almost_mont_reduction_u32
  Hacl_Bignum_AlmostMontgomery_bn_almost_mont_reduction_u64
  Hacl_Bignum_Exponentiation_bn_check_mod_exp_u32
  Hacl_Bignum_Exponentiation_bn_mod_exp_vartime_precomp_u32
  Hacl_Bignum_Exponentiation_bn_mod_exp_consttime_precomp_u32
  Hacl_Bignum_Exponentiation_bn_mod_exp_vartime_u32
  Hacl_Bignum_Exponentiation_bn_mod_exp_consttime_u32
  Hacl_Bignum_Exponentiation_bn_check_mod_exp_u64
  Hacl_Bignum_Exponentiation_bn_mod_exp_vartime_precomp_u64
  Hacl_Bignum_Exponentiation_bn_mod_exp_consttime_precomp_u64
  Hacl_Bignum_Exponentiation_bn_mod_exp_vartime_u64
  Hacl_Bignum_Exponentiation_bn_mod_exp_consttime_u64
  Hacl_Curve25519_64_scalarmult
  Hacl_Curve25519_64_secret_to_public
  Hacl_Curve25519_64_ecdh
  Hacl_Impl_Curve25519_Field51_fadd
  Hacl_Impl_Curve25519_Field51_fsub
  Hacl_Impl_Curve25519_Field51_fmul
  Hacl_Impl_Curve25519_Field51_fmul2
  Hacl_Impl_Curve25519_Field51_fmul1
  Hacl_Impl_Curve25519_Field51_fsqr
  Hacl_Impl_Curve25519_Field51_fsqr2
  Hacl_Impl_Curve25519_Field51_store_felem
  Hacl_Impl_Curve25519_Field51_cswap2
  Hacl_Curve25519_51_fsquare_times
  Hacl_Curve25519_51_finv
  Hacl_Curve25519_51_scalarmult
  Hacl_Curve25519_51_secret_to_public
  Hacl_Curve25519_51_ecdh
  Hacl_MAC_Poly1305_poly1305_init
  Hacl_MAC_Poly1305_poly1305_finish
  Hacl_MAC_Poly1305_malloc
  Hacl_MAC_Poly1305_reset
  Hacl_MAC_Poly1305_update
  Hacl_MAC_Poly1305_digest
  Hacl_MAC_Poly1305_free
  Hacl_MAC_Poly1305_mac
  Hacl_AEAD_Chacha20Poly1305_encrypt
  Hacl_AEAD_Chacha20Poly1305_decrypt
  Hacl_MAC_Poly1305_Simd128_load_acc2
  Hacl_MAC_Poly1305_Simd128_fmul_r2_normalize
  Hacl_MAC_Poly1305_Simd128_poly1305_init
  Hacl_MAC_Poly1305_Simd128_poly1305_finish
  Hacl_MAC_Poly1305_Simd128_malloc
  Hacl_MAC_Poly1305_Simd128_reset
  Hacl_MAC_Poly1305_Simd128_update
  Hacl_MAC_Poly1305_Simd128_digest
  Hacl_MAC_Poly1305_Simd128_free
  Hacl_MAC_Poly1305_Simd128_mac
  Hacl_Chacha20_Vec128_chacha20_encrypt_128
  Hacl_Chacha20_Vec128_chacha20_decrypt_128
  Hacl_AEAD_Chacha20Poly1305_Simd128_encrypt
  Hacl_AEAD_Chacha20Poly1305_Simd128_decrypt
  Hacl_MAC_Poly1305_Simd256_load_acc4
  Hacl_MAC_Poly1305_Simd256_fmul_r4_normalize
  Hacl_MAC_Poly1305_Simd256_poly1305_init
  Hacl_MAC_Poly1305_Simd256_poly1305_finish
  Hacl_MAC_Poly1305_Simd256_malloc
  Hacl_MAC_Poly1305_Simd256_reset
  Hacl_MAC_Poly1305_Simd256_update
  Hacl_MAC_Poly1305_Simd256_digest
  Hacl_MAC_Poly1305_Simd256_free
  Hacl_MAC_Poly1305_Simd256_mac
  Hacl_Chacha20_Vec256_chacha20_encrypt_256
  Hacl_Chacha20_Vec256_chacha20_decrypt_256
  Hacl_AEAD_Chacha20Poly1305_Simd256_encrypt
  Hacl_AEAD_Chacha20Poly1305_Simd256_decrypt
  Hacl_Bignum25519_reduce_513
  Hacl_Bignum25519_inverse
  Hacl_Bignum25519_load_51
  Hacl_Bignum25519_store_51
  Hacl_Impl_Ed25519_PointDouble_point_double
  Hacl_Impl_Ed25519_PointAdd_point_add
  Hacl_Impl_Ed25519_PointConstants_make_point_inf
  Hacl_Impl_Ed25519_PointDecompress_point_decompress
  Hacl_Impl_Ed25519_PointCompress_point_compress
  Hacl_Impl_Ed25519_PointEqual_point_equal
  Hacl_Impl_Ed25519_PointNegate_point_negate
  Hacl_Impl_Ed25519_Ladder_point_mul
  Hacl_Ed25519_secret_to_public
  Hacl_Ed25519_expand_keys
  Hacl_Ed25519_sign_expanded
  Hacl_Ed25519_sign
  Hacl_Ed25519_verify
  Hacl_NaCl_crypto_secretbox_detached
  Hacl_NaCl_crypto_secretbox_open_detached
  Hacl_NaCl_crypto_secretbox_easy
  Hacl_NaCl_crypto_secretbox_open_easy
  Hacl_NaCl_crypto_box_beforenm
  Hacl_NaCl_crypto_box_detached_afternm
  Hacl_NaCl_crypto_box_detached
  Hacl_NaCl_crypto_box_open_detached_afternm
  Hacl_NaCl_crypto_box_open_detached
  Hacl_NaCl_crypto_box_easy_afternm
  Hacl_NaCl_crypto_box_easy
  Hacl_NaCl_crypto_box_open_easy_afternm
  Hacl_NaCl_crypto_box_open_easy
  Hacl_Impl_P256_DH_ecp256dh_i
  Hacl_Impl_P256_DH_ecp256dh_r
  Hacl_P256_ecdsa_sign_p256_sha2
  Hacl_P256_ecdsa_sign_p256_sha384
  Hacl_P256_ecdsa_sign_p256_sha512
  Hacl_P256_ecdsa_sign_p256_without_hash
  Hacl_P256_ecdsa_verif_p256_sha2
  Hacl_P256_ecdsa_verif_p256_sha384
  Hacl_P256_ecdsa_verif_p256_sha512
  Hacl_P256_ecdsa_verif_without_hash
  Hacl_P256_validate_public_key
  Hacl_P256_validate_private_key
  Hacl_P256_uncompressed_to_raw
  Hacl_P256_compressed_to_raw
  Hacl_P256_raw_to_uncompressed
  Hacl_P256_raw_to_compressed
  Hacl_P256_dh_initiator
  Hacl_P256_dh_responder
  Hacl_K256_Field_is_felem_zero_vartime
  Hacl_K256_Field_is_felem_eq_vartime
  Hacl_K256_Field_is_felem_lt_prime_minus_order_vartime
  Hacl_K256_Field_load_felem
  Hacl_K256_Field_load_felem_lt_prime_vartime
  Hacl_K256_Field_store_felem
  Hacl_K256_Field_fmul_small_num
  Hacl_K256_Field_fadd
  Hacl_K256_Field_fsub
  Hacl_K256_Field_fmul
  Hacl_K256_Field_fsqr
  Hacl_K256_Field_fnormalize_weak
  Hacl_K256_Field_fnormalize
  Hacl_K256_Field_fnegate_conditional_vartime
  Hacl_Impl_K256_Finv_fsquare_times_in_place
  Hacl_Impl_K256_Finv_fsquare_times
  Hacl_Impl_K256_Finv_fexp_223_23
  Hacl_Impl_K256_Finv_finv
  Hacl_Impl_K256_Finv_fsqrt
  Hacl_Impl_K256_Point_make_point_at_inf
  Hacl_Impl_K256_Point_point_negate
  Hacl_Impl_K256_Point_point_store
  Hacl_Impl_K256_Point_aff_point_load_vartime
  Hacl_Impl_K256_PointDouble_point_double
  Hacl_Impl_K256_PointAdd_point_add
  Hacl_Impl_K256_PointMul_point_mul
  Hacl_K256_ECDSA_ecdsa_sign_hashed_msg
  Hacl_K256_ECDSA_ecdsa_sign_sha256
  Hacl_K256_ECDSA_ecdsa_verify_hashed_msg
  Hacl_K256_ECDSA_ecdsa_verify_sha256
  Hacl_K256_ECDSA_secp256k1_ecdsa_signature_normalize
  Hacl_K256_ECDSA_secp256k1_ecdsa_is_signature_normalized
  Hacl_K256_ECDSA_secp256k1_ecdsa_sign_hashed_msg
  Hacl_K256_ECDSA_secp256k1_ecdsa_sign_sha256
  Hacl_K256_ECDSA_secp256k1_ecdsa_verify_hashed_msg
  Hacl_K256_ECDSA_secp256k1_ecdsa_verify_sha256
  Hacl_K256_ECDSA_public_key_uncompressed_to_raw
  Hacl_K256_ECDSA_public_key_uncompressed_from_raw
  Hacl_K256_ECDSA_public_key_compressed_to_raw
  Hacl_K256_ECDSA_public_key_compressed_from_raw
  Hacl_K256_ECDSA_is_public_key_valid
  Hacl_K256_ECDSA_is_private_key_valid
  Hacl_K256_ECDSA_secret_to_public
  Hacl_K256_ECDSA_ecdh
  Hacl_Keccak_shake128_4x
  Hacl_Impl_Matrix_mod_pow2
  Hacl_Impl_Matrix_matrix_add
  Hacl_Impl_Matrix_matrix_sub
  Hacl_Impl_Matrix_matrix_mul
  Hacl_Impl_Matrix_matrix_mul_s
  Hacl_Impl_Matrix_matrix_eq
  Hacl_Impl_Matrix_matrix_to_lbytes
  Hacl_Impl_Matrix_matrix_from_lbytes
  Hacl_Impl_Frodo_Gen_frodo_gen_matrix_shake_4x
  Hacl_Impl_Frodo_Params_frodo_gen_matrix
  Hacl_Impl_Frodo_Sample_frodo_sample_matrix64
  Hacl_Impl_Frodo_Sample_frodo_sample_matrix640
  Hacl_Impl_Frodo_Sample_frodo_sample_matrix976
  Hacl_Impl_Frodo_Sample_frodo_sample_matrix1344
  randombytes_
  Hacl_Impl_Frodo_Pack_frodo_pack
  Hacl_Impl_Frodo_Pack_frodo_unpack
  Hacl_Impl_Frodo_Encode_frodo_key_encode
  Hacl_Impl_Frodo_Encode_frodo_key_decode
  Hacl_Streaming_HMAC_s1
  Hacl_Streaming_HMAC_s2
  Hacl_Streaming_HMAC_index_of_state
  Hacl_Streaming_HMAC_malloc_
  Hacl_Streaming_HMAC_get_impl
  Hacl_Streaming_HMAC_reset
  Hacl_Streaming_HMAC_update
  Hacl_Streaming_HMAC_digest
  Hacl_Streaming_HMAC_free
  Hacl_Streaming_HMAC_copy
  Hacl_IntTypes_Intrinsics_add_carry_u32
  Hacl_IntTypes_Intrinsics_sub_borrow_u32
  Hacl_IntTypes_Intrinsics_add_carry_u64
  Hacl_IntTypes_Intrinsics_sub_borrow_u64
  Hacl_IntTypes_Intrinsics_128_add_carry_u64
  Hacl_IntTypes_Intrinsics_128_sub_borrow_u64
  Hacl_RSAPSS_rsapss_sign
  Hacl_RSAPSS_rsapss_verify
  Hacl_RSAPSS_new_rsapss_load_pkey
  Hacl_RSAPSS_new_rsapss_load_skey
  Hacl_RSAPSS_rsapss_skey_sign
  Hacl_RSAPSS_rsapss_pkey_verify
  Hacl_RSAPSS_mgf_hash
  Hacl_FFDHE_ffdhe_len
  Hacl_FFDHE_new_ffdhe_precomp_p
  Hacl_FFDHE_ffdhe_secret_to_public_precomp
  Hacl_FFDHE_ffdhe_secret_to_public
  Hacl_FFDHE_ffdhe_shared_secret_precomp
  Hacl_FFDHE_ffdhe_shared_secret
  Hacl_Frodo640_crypto_kem_keypair
  Hacl_Frodo640_crypto_kem_enc
  Hacl_Frodo640_crypto_kem_dec
  Hacl_HKDF_expand_sha2_256
  Hacl_HKDF_extract_sha2_256
  Hacl_HKDF_expand_sha2_384
  Hacl_HKDF_extract_sha2_384
  Hacl_HKDF_expand_sha2_512
  Hacl_HKDF_extract_sha2_512
  Hacl_HKDF_expand_blake2s_32
  Hacl_HKDF_extract_blake2s_32
  Hacl_HKDF_expand_blake2b_32
  Hacl_HKDF_extract_blake2b_32
  Hacl_HPKE_Curve51_CP128_SHA512_setupBaseS
  Hacl_HPKE_Curve51_CP128_SHA512_setupBaseR
  Hacl_HPKE_Curve51_CP128_SHA512_sealBase
  Hacl_HPKE_Curve51_CP128_SHA512_openBase
  EverCrypt_Cipher_chacha20
  Hacl_GenericField32_field_modulus_check
  Hacl_GenericField32_field_init
  LowStar_BufferOps_op_Bang_Star__Hacl_Bignum_MontArithmetic_bn_mont_ctx___uint32_t__uint32_t
  Hacl_GenericField32_field_free
  Hacl_GenericField32_field_get_len
  Hacl_GenericField32_to_field
  Hacl_GenericField32_from_field
  Hacl_GenericField32_add
  Hacl_GenericField32_sub
  Hacl_GenericField32_mul
  Hacl_GenericField32_sqr
  Hacl_GenericField32_one
  Hacl_GenericField32_exp_consttime
  Hacl_GenericField32_exp_vartime
  Hacl_GenericField32_inverse
  Hacl_SHA2_Vec256_sha224_8
  Hacl_SHA2_Vec256_sha256_8
  Hacl_SHA2_Vec256_sha384_4
  Hacl_SHA2_Vec256_sha512_4
  Hacl_EC_K256_mk_felem_zero
  Hacl_EC_K256_mk_felem_one
  Hacl_EC_K256_felem_add
  Hacl_EC_K256_felem_sub
  Hacl_EC_K256_felem_mul
  Hacl_EC_K256_felem_sqr
  Hacl_EC_K256_felem_inv
  Hacl_EC_K256_felem_load
  Hacl_EC_K256_felem_store
  Hacl_EC_K256_mk_point_at_inf
  Hacl_EC_K256_mk_base_point
  Hacl_EC_K256_point_negate
  Hacl_EC_K256_point_add
  Hacl_EC_K256_point_double
  Hacl_EC_K256_point_mul
  Hacl_EC_K256_point_store
  Hacl_EC_K256_point_load
  Hacl_EC_K256_is_point_valid
  Hacl_Bignum4096_add
  Hacl_Bignum4096_sub
  Hacl_Bignum4096_add_mod
  Hacl_Bignum4096_sub_mod
  Hacl_Bignum4096_mul
  Hacl_Bignum4096_sqr
  Hacl_Bignum4096_mod
  Hacl_Bignum4096_mod_exp_vartime
  Hacl_Bignum4096_mod_exp_consttime
  Hacl_Bignum4096_mod_inv_prime_vartime
  Hacl_Bignum4096_mont_ctx_init
  LowStar_BufferOps_op_Bang_Star__Hacl_Bignum_MontArithmetic_bn_mont_ctx___uint64_t__uint64_t
  Hacl_Bignum4096_mont_ctx_free
  Hacl_Bignum4096_mod_precomp
  Hacl_Bignum4096_mod_exp_vartime_precomp
  Hacl_Bignum4096_mod_exp_consttime_precomp
  Hacl_Bignum4096_mod_inv_prime_vartime_precomp
  Hacl_Bignum4096_new_bn_from_bytes_be
  Hacl_Bignum4096_new_bn_from_bytes_le
  Hacl_Bignum4096_bn_to_bytes_be
  Hacl_Bignum4096_bn_to_bytes_le
  Hacl_Bignum4096_lt_mask
  Hacl_Bignum4096_eq_mask
  Hacl_Chacha20_Vec32_chacha20_encrypt_32
  Hacl_Chacha20_Vec32_chacha20_decrypt_32
  EverCrypt_Ed25519_secret_to_public
  EverCrypt_Ed25519_expand_keys
  EverCrypt_Ed25519_sign_expanded
  EverCrypt_Ed25519_sign
  EverCrypt_Ed25519_verify
  Hacl_Bignum4096_32_add
  Hacl_Bignum4096_32_sub
  Hacl_Bignum4096_32_add_mod
  Hacl_Bignum4096_32_sub_mod
  Hacl_Bignum4096_32_mul
  Hacl_Bignum4096_32_sqr
  Hacl_Bignum4096_32_mod
  Hacl_Bignum4096_32_mod_exp_vartime
  Hacl_Bignum4096_32_mod_exp_consttime
  Hacl_Bignum4096_32_mod_inv_prime_vartime
  Hacl_Bignum4096_32_mont_ctx_init
  Hacl_Bignum4096_32_mont_ctx_free
  Hacl_Bignum4096_32_mod_precomp
  Hacl_Bignum4096_32_mod_exp_vartime_precomp
  Hacl_Bignum4096_32_mod_exp_consttime_precomp
  Hacl_Bignum4096_32_mod_inv_prime_vartime_precomp
  Hacl_Bignum4096_32_new_bn_from_bytes_be
  Hacl_Bignum4096_32_new_bn_from_bytes_le
  Hacl_Bignum4096_32_bn_to_bytes_be
  Hacl_Bignum4096_32_bn_to_bytes_le
  Hacl_Bignum4096_32_lt_mask
  Hacl_Bignum4096_32_eq_mask
  EverCrypt_HMAC_is_supported_alg
  EverCrypt_HMAC_compute_sha1
  EverCrypt_HMAC_compute_sha2_256
  EverCrypt_HMAC_compute_sha2_384
  EverCrypt_HMAC_compute_sha2_512
  EverCrypt_HMAC_compute_blake2s
  EverCrypt_HMAC_compute_blake2b
  EverCrypt_HMAC_compute
  Hacl_HMAC_DRBG_min_length
  Hacl_HMAC_DRBG_uu___is_State
  Hacl_HMAC_DRBG_create_in
  Hacl_HMAC_DRBG_instantiate
  Hacl_HMAC_DRBG_reseed
  Hacl_HMAC_DRBG_generate
  Hacl_HMAC_DRBG_free
  EverCrypt_DRBG_min_length
  EverCrypt_DRBG_uu___is_SHA1_s
  EverCrypt_DRBG_uu___is_SHA2_256_s
  EverCrypt_DRBG_uu___is_SHA2_384_s
  EverCrypt_DRBG_uu___is_SHA2_512_s
  EverCrypt_DRBG_create_in
  EverCrypt_DRBG_create
  EverCrypt_DRBG_instantiate
  EverCrypt_DRBG_reseed
  EverCrypt_DRBG_generate
  EverCrypt_DRBG_uninstantiate
  Hacl_HPKE_Curve64_CP128_SHA512_setupBaseS
  Hacl_HPKE_Curve64_CP128_SHA512_setupBaseR
  Hacl_HPKE_Curve64_CP128_SHA512_sealBase
  Hacl_HPKE_Curve64_CP128_SHA512_openBase
  Hacl_HPKE_P256_CP128_SHA256_setupBaseS
  Hacl_HPKE_P256_CP128_SHA256_setupBaseR
  Hacl_HPKE_P256_CP128_SHA256_sealBase
  Hacl_HPKE_P256_CP128_SHA256_openBase
  EverCrypt_Curve25519_secret_to_public
  EverCrypt_Curve25519_scalarmult
  EverCrypt_Curve25519_ecdh
  Hacl_HPKE_Curve51_CP256_SHA512_setupBaseS
  Hacl_HPKE_Curve51_CP256_SHA512_setupBaseR
  Hacl_HPKE_Curve51_CP256_SHA512_sealBase
  Hacl_HPKE_Curve51_CP256_SHA512_openBase
  Hacl_Frodo976_crypto_kem_keypair
  Hacl_Frodo976_crypto_kem_enc
  Hacl_Frodo976_crypto_kem_dec
  Hacl_HKDF_Blake2s_128_expand_blake2s_128
  Hacl_HKDF_Blake2s_128_extract_blake2s_128
  Hacl_GenericField64_field_modulus_check
  Hacl_GenericField64_field_init
  Hacl_GenericField64_field_free
  Hacl_GenericField64_field_get_len
  Hacl_GenericField64_to_field
  Hacl_GenericField64_from_field
  Hacl_GenericField64_add
  Hacl_GenericField64_sub
  Hacl_GenericField64_mul
  Hacl_GenericField64_sqr
  Hacl_GenericField64_one
  Hacl_GenericField64_exp_consttime
  Hacl_GenericField64_exp_vartime
  Hacl_GenericField64_inverse
  Hacl_Frodo1344_crypto_kem_keypair
  Hacl_Frodo1344_crypto_kem_enc
  Hacl_Frodo1344_crypto_kem_dec
  Hacl_HPKE_Curve64_CP256_SHA512_setupBaseS
  Hacl_HPKE_Curve64_CP256_SHA512_setupBaseR
  Hacl_HPKE_Curve64_CP256_SHA512_sealBase
  Hacl_HPKE_Curve64_CP256_SHA512_openBase
  Hacl_Bignum32_add
  Hacl_Bignum32_sub
  Hacl_Bignum32_add_mod
  Hacl_Bignum32_sub_mod
  Hacl_Bignum32_mul
  Hacl_Bignum32_sqr
  Hacl_Bignum32_mod
  Hacl_Bignum32_mod_exp_vartime
  Hacl_Bignum32_mod_exp_consttime
  Hacl_Bignum32_mod_inv_prime_vartime
  Hacl_Bignum32_mont_ctx_init
  Hacl_Bignum32_mont_ctx_free
  Hacl_Bignum32_mod_precomp
  Hacl_Bignum32_mod_exp_vartime_precomp
  Hacl_Bignum32_mod_exp_consttime_precomp
  Hacl_Bignum32_mod_inv_prime_vartime_precomp
  Hacl_Bignum32_new_bn_from_bytes_be
  Hacl_Bignum32_new_bn_from_bytes_le
  Hacl_Bignum32_bn_to_bytes_be
  Hacl_Bignum32_bn_to_bytes_le
  Hacl_Bignum32_lt_mask
  Hacl_Bignum32_eq_mask
  Hacl_HPKE_Curve51_CP128_SHA256_setupBaseS
  Hacl_HPKE_Curve51_CP128_SHA256_setupBaseR
  Hacl_HPKE_Curve51_CP128_SHA256_sealBase
  Hacl_HPKE_Curve51_CP128_SHA256_openBase
  Hacl_HPKE_Curve64_CP128_SHA256_setupBaseS
  Hacl_HPKE_Curve64_CP128_SHA256_setupBaseR
  Hacl_HPKE_Curve64_CP128_SHA256_sealBase
  Hacl_HPKE_Curve64_CP128_SHA256_openBase
  Hacl_Bignum256_32_add
  Hacl_Bignum256_32_sub
  Hacl_Bignum256_32_add_mod
  Hacl_Bignum256_32_sub_mod
  Hacl_Bignum256_32_mul
  Hacl_Bignum256_32_sqr
  Hacl_Bignum256_32_mod
  Hacl_Bignum256_32_mod_exp_vartime
  Hacl_Bignum256_32_mod_exp_consttime
  Hacl_Bignum256_32_mod_inv_prime_vartime
  Hacl_Bignum256_32_mont_ctx_init
  Hacl_Bignum256_32_mont_ctx_free
  Hacl_Bignum256_32_mod_precomp
  Hacl_Bignum256_32_mod_exp_vartime_precomp
  Hacl_Bignum256_32_mod_exp_consttime_precomp
  Hacl_Bignum256_32_mod_inv_prime_vartime_precomp
  Hacl_Bignum256_32_new_bn_from_bytes_be
  Hacl_Bignum256_32_new_bn_from_bytes_le
  Hacl_Bignum256_32_bn_to_bytes_be
  Hacl_Bignum256_32_bn_to_bytes_le
  Hacl_Bignum256_32_lt_mask
  Hacl_Bignum256_32_eq_mask
  Hacl_SHA2_Vec128_sha224_4
  Hacl_SHA2_Vec128_sha256_4
  Hacl_HPKE_Curve51_CP32_SHA256_setupBaseS
  Hacl_HPKE_Curve51_CP32_SHA256_setupBaseR
  Hacl_HPKE_Curve51_CP32_SHA256_sealBase
  Hacl_HPKE_Curve51_CP32_SHA256_openBase
  Hacl_HPKE_Curve64_CP256_SHA256_setupBaseS
  Hacl_HPKE_Curve64_CP256_SHA256_setupBaseR
  Hacl_HPKE_Curve64_CP256_SHA256_sealBase
  Hacl_HPKE_Curve64_CP256_SHA256_openBase
  EverCrypt_Poly1305_mac
  Hacl_HPKE_Curve51_CP32_SHA512_setupBaseS
  Hacl_HPKE_Curve51_CP32_SHA512_setupBaseR
  Hacl_HPKE_Curve51_CP32_SHA512_sealBase
  Hacl_HPKE_Curve51_CP32_SHA512_openBase
  Hacl_HPKE_P256_CP256_SHA256_setupBaseS
  Hacl_HPKE_P256_CP256_SHA256_setupBaseR
  Hacl_HPKE_P256_CP256_SHA256_sealBase
  Hacl_HPKE_P256_CP256_SHA256_openBase
  Hacl_HPKE_P256_CP32_SHA256_setupBaseS
  Hacl_HPKE_P256_CP32_SHA256_setupBaseR
  Hacl_HPKE_P256_CP32_SHA256_sealBase
  Hacl_HPKE_P256_CP32_SHA256_openBase
  Hacl_Bignum64_add
  Hacl_Bignum64_sub
  Hacl_Bignum64_add_mod
  Hacl_Bignum64_sub_mod
  Hacl_Bignum64_mul
  Hacl_Bignum64_sqr
  Hacl_Bignum64_mod
  Hacl_Bignum64_mod_exp_vartime
  Hacl_Bignum64_mod_exp_consttime
  Hacl_Bignum64_mod_inv_prime_vartime
  Hacl_Bignum64_mont_ctx_init
  Hacl_Bignum64_mont_ctx_free
  Hacl_Bignum64_mod_precomp
  Hacl_Bignum64_mod_exp_vartime_precomp
  Hacl_Bignum64_mod_exp_consttime_precomp
  Hacl_Bignum64_mod_inv_prime_vartime_precomp
  Hacl_Bignum64_new_bn_from_bytes_be
  Hacl_Bignum64_new_bn_from_bytes_le
  Hacl_Bignum64_bn_to_bytes_be
  Hacl_Bignum64_bn_to_bytes_le
  Hacl_Bignum64_lt_mask
  Hacl_Bignum64_eq_mask
  Hacl_Frodo64_crypto_kem_keypair
  Hacl_Frodo64_crypto_kem_enc
  Hacl_Frodo64_crypto_kem_dec
  Hacl_HKDF_Blake2b_256_expand_blake2b_256
  Hacl_HKDF_Blake2b_256_extract_blake2b_256
  Hacl_HPKE_Curve64_CP32_SHA256_setupBaseS
  Hacl_HPKE_Curve64_CP32_SHA256_setupBaseR
  Hacl_HPKE_Curve64_CP32_SHA256_sealBase
  Hacl_HPKE_Curve64_CP32_SHA256_openBase
  Hacl_HPKE_Curve64_CP32_SHA512_setupBaseS
  Hacl_HPKE_Curve64_CP32_SHA512_setupBaseR
  Hacl_HPKE_Curve64_CP32_SHA512_sealBase
  Hacl_HPKE_Curve64_CP32_SHA512_openBase
  EverCrypt_HKDF_expand
  EverCrypt_HKDF_extract
  Hacl_EC_Ed25519_mk_felem_zero
  Hacl_EC_Ed25519_mk_felem_one
  Hacl_EC_Ed25519_felem_add
  Hacl_EC_Ed25519_felem_sub
  Hacl_EC_Ed25519_felem_mul
  Hacl_EC_Ed25519_felem_sqr
  Hacl_EC_Ed25519_felem_inv
  Hacl_EC_Ed25519_felem_load
  Hacl_EC_Ed25519_felem_store
  Hacl_EC_Ed25519_mk_point_at_inf
  Hacl_EC_Ed25519_mk_base_point
  Hacl_EC_Ed25519_point_negate
  Hacl_EC_Ed25519_point_add
  Hacl_EC_Ed25519_point_double
  Hacl_EC_Ed25519_point_mul
  Hacl_EC_Ed25519_point_eq
  Hacl_EC_Ed25519_point_compress
  Hacl_EC_Ed25519_point_decompress
  Hacl_HPKE_Curve51_CP256_SHA256_setupBaseS
  Hacl_HPKE_Curve51_CP256_SHA256_setupBaseR
  Hacl_HPKE_Curve51_CP256_SHA256_sealBase
  Hacl_HPKE_Curve51_CP256_SHA256_openBase
  EverCrypt_Chacha20Poly1305_aead_encrypt
  EverCrypt_Chacha20Poly1305_aead_decrypt
  EverCrypt_AEAD_uu___is_Ek
  EverCrypt_AEAD_alg_of_state
  EverCrypt_AEAD_create_in
  EverCrypt_AEAD_encrypt
  EverCrypt_AEAD_encrypt_expand_aes128_gcm_no_check
  EverCrypt_AEAD_encrypt_expand_aes256_gcm_no_check
  EverCrypt_AEAD_encrypt_expand_aes128_gcm
  EverCrypt_AEAD_encrypt_expand_aes256_gcm
  EverCrypt_AEAD_encrypt_expand_chacha20_poly1305
  EverCrypt_AEAD_encrypt_expand
  EverCrypt_AEAD_decrypt
  EverCrypt_AEAD_decrypt_expand_aes128_gcm_no_check
  EverCrypt_AEAD_decrypt_expand_aes256_gcm_no_check
  EverCrypt_AEAD_decrypt_expand_aes128_gcm
  EverCrypt_AEAD_decrypt_expand_aes256_gcm
  EverCrypt_AEAD_decrypt_expand_chacha20_poly1305
  EverCrypt_AEAD_decrypt_expand
  EverCrypt_AEAD_free
  Hacl_Bignum256_add
  Hacl_Bignum256_sub
  Hacl_Bignum256_add_mod
  Hacl_Bignum256_sub_mod
  Hacl_Bignum256_mul
  Hacl_Bignum256_sqr
  Hacl_Bignum256_mod
  Hacl_Bignum256_mod_exp_vartime
  Hacl_Bignum256_mod_exp_consttime
  Hacl_Bignum256_mod_inv_prime_vartime
  Hacl_Bignum256_mont_ctx_init
  Hacl_Bignum256_mont_ctx_free
  Hacl_Bignum256_mod_precomp
  Hacl_Bignum256_mod_exp_vartime_precomp
  Hacl_Bignum256_mod_exp_consttime_precomp
  Hacl_Bignum256_mod_inv_prime_vartime_precomp
  Hacl_Bignum256_new_bn_from_bytes_be
  Hacl_Bignum256_new_bn_from_bytes_le
  Hacl_Bignum256_bn_to_bytes_be
  Hacl_Bignum256_bn_to_bytes_le
  Hacl_Bignum256_lt_mask
  Hacl_Bignum256_eq_mask
