asm``````~~````~~~~`~~~~````````~~``~~~````````````~`~````~```~```````~`~``````````~~``````````````````````~```````````````````````````````````````````````````````````````````````````߸KremlinmemKremlin data_startKremlindebug WasmSupportWasmSupport_trap WasmSupportWasmSupport_align_64 WasmSupportWasmSupport_check_buffer_size WasmSupportWasmSupport_betole32 WasmSupportWasmSupport_betole64 WasmSupportWasmSupport_memzeroHacl_IntTypes_Intrinsics&Hacl_IntTypes_Intrinsics_add_carry_u32Hacl_IntTypes_Intrinsics'Hacl_IntTypes_Intrinsics_sub_borrow_u32Hacl_IntTypes_Intrinsics&Hacl_IntTypes_Intrinsics_add_carry_u64 Hacl_IntTypes_Intrinsics'Hacl_IntTypes_Intrinsics_sub_borrow_u64 FStarFStar_UInt128_u32_64FStarFStar_UInt128_u32_32Hacl_Impl_Blake2_Constants+Hacl_Impl_Blake2_Constants___get_sigmaTable Hacl_Impl_Blake2_Constants*Hacl_Impl_Blake2_Constants___get_ivTable_S Hacl_Impl_Blake2_Constants*Hacl_Impl_Blake2_Constants___get_ivTable_B Hacl_Hash_BaseHacl_Hash_Definitions_word_lenHacl_Hash_BaseHacl_Hash_Definitions_block_lenHacl_Hash_Base#Hacl_Hash_Definitions_hash_word_lenHacl_Hash_BaseHacl_Hash_Definitions_hash_lenHacl_Hash_Blake2(Hacl_Hash_Blake2_update_multi_blake2s_32Hacl_Hash_Blake2(Hacl_Hash_Blake2_update_multi_blake2b_32Hacl_Hash_Blake2'Hacl_Hash_Blake2_update_last_blake2s_32Hacl_Hash_Blake2'Hacl_Hash_Blake2_update_last_blake2b_32Hacl_Hash_Blake2 Hacl_Hash_Blake2_hash_blake2s_32Hacl_Hash_Blake2 Hacl_Hash_Blake2_hash_blake2b_32Hacl_Hash_Blake2Hacl_Blake2b_32_blake2b_initHacl_Hash_Blake2"Hacl_Blake2b_32_blake2b_update_keyHacl_Hash_Blake2$Hacl_Blake2b_32_blake2b_update_multiHacl_Hash_Blake2#Hacl_Blake2b_32_blake2b_update_lastHacl_Hash_Blake2Hacl_Blake2b_32_blake2b_finishHacl_Hash_Blake2Hacl_Blake2b_32_blake2bHacl_Hash_Blake2Hacl_Blake2s_32_blake2s_initHacl_Hash_Blake2"Hacl_Blake2s_32_blake2s_update_keyHacl_Hash_Blake2$Hacl_Blake2s_32_blake2s_update_multi Hacl_Hash_Blake2#Hacl_Blake2s_32_blake2s_update_last!Hacl_Hash_Blake2Hacl_Blake2s_32_blake2s_finish"Hacl_Hash_Blake2Hacl_Blake2s_32_blake2s# Hacl_Hash_MD5!Hacl_Hash_MD5_legacy_update_multi$ Hacl_Hash_MD5 Hacl_Hash_MD5_legacy_update_last% Hacl_Hash_MD5Hacl_Hash_MD5_legacy_hash&Hacl_Hash_SHA1"Hacl_Hash_SHA1_legacy_update_multi'Hacl_Hash_SHA1!Hacl_Hash_SHA1_legacy_update_last(Hacl_Hash_SHA1Hacl_Hash_SHA1_legacy_hash)Hacl_Hash_SHA1Hacl_Hash_Core_SHA1___get__h0*Hacl_Hash_SHA2Hacl_Hash_SHA2_update_multi_224+Hacl_Hash_SHA2Hacl_Hash_SHA2_update_multi_256,Hacl_Hash_SHA2Hacl_Hash_SHA2_update_multi_384-Hacl_Hash_SHA2Hacl_Hash_SHA2_update_multi_512.Hacl_Hash_SHA2Hacl_Hash_SHA2_update_last_224/Hacl_Hash_SHA2Hacl_Hash_SHA2_update_last_2560Hacl_Hash_SHA2Hacl_Hash_SHA2_update_last_3841Hacl_Hash_SHA2Hacl_Hash_SHA2_update_last_5122Hacl_Hash_SHA2Hacl_Hash_SHA2_hash_2243Hacl_Hash_SHA2Hacl_Hash_SHA2_hash_2564Hacl_Hash_SHA2Hacl_Hash_SHA2_hash_3845Hacl_Hash_SHA2Hacl_Hash_SHA2_hash_5126Hacl_Hash_SHA2Hacl_Hash_Core_SHA2___get_h2567Hacl_Hash_SHA2Hacl_Hash_Core_SHA2___get_h3848Hacl_Hash_SHA2Hacl_Hash_Core_SHA2___get_h5129 Hacl_SHA3Hacl_Impl_SHA3_rotl: Hacl_SHA3Hacl_Impl_SHA3_state_permute; Hacl_SHA3Hacl_Impl_SHA3_loadState< Hacl_SHA3Hacl_Impl_SHA3_storeState= Hacl_SHA3Hacl_Impl_SHA3_absorb> Hacl_SHA3Hacl_Impl_SHA3_squeeze? Hacl_SHA3Hacl_Impl_SHA3_keccak@ Hacl_SHA3Hacl_SHA3_shake128_haclA Hacl_SHA3Hacl_SHA3_shake256_haclB Hacl_SHA3Hacl_SHA3_sha3_224C Hacl_SHA3Hacl_SHA3_sha3_256D Hacl_SHA3Hacl_SHA3_sha3_384E Hacl_SHA3Hacl_SHA3_sha3_512F Hacl_Chacha20Hacl_Chacha20_chacha20_encryptG Hacl_Chacha20Hacl_Chacha20_chacha20_decryptH Hacl_Chacha20/Hacl_Impl_Chacha20_Vec___get_chacha20_constantsI Hacl_Salsa20Hacl_Salsa20_salsa20_encryptJ Hacl_Salsa20Hacl_Salsa20_salsa20_decryptK Hacl_Salsa20Hacl_Salsa20_salsa20_key_block0L Hacl_Salsa20Hacl_Salsa20_hsalsa20MHacl_Bignum25519_51!Hacl_Impl_Curve25519_Field51_fmulNHacl_Bignum25519_51"Hacl_Impl_Curve25519_Field51_fmul2OHacl_Bignum25519_51"Hacl_Impl_Curve25519_Field51_fmul1PHacl_Bignum25519_51!Hacl_Impl_Curve25519_Field51_fsqrQHacl_Bignum25519_51"Hacl_Impl_Curve25519_Field51_fsqr2RHacl_Bignum25519_51(Hacl_Impl_Curve25519_Field51_store_felemSHacl_Curve25519_51 Hacl_Curve25519_51_fsquare_timesTHacl_Curve25519_51Hacl_Curve25519_51_finvUHacl_Curve25519_51Hacl_Curve25519_51_scalarmultVHacl_Curve25519_51#Hacl_Curve25519_51_secret_to_publicWHacl_Curve25519_51Hacl_Curve25519_51_ecdhXHacl_StreamingHacl_Streaming_SHA2_update_512YHacl_StreamingHacl_Streaming_SHA2_finish_512Z Hacl_Ed25519Hacl_Bignum25519_inverse[ Hacl_Ed25519Hacl_Bignum25519_store_51\ Hacl_Ed25519$Hacl_Impl_Ed25519_PointAdd_point_add] Hacl_Ed25519"Hacl_Impl_Ed25519_Ladder_point_mul^ Hacl_Ed25519.Hacl_Impl_Ed25519_PointCompress_point_compress_ Hacl_Ed255192Hacl_Impl_Ed25519_PointDecompress_point_decompress` Hacl_Ed25519(Hacl_Impl_Ed25519_PointEqual_point_equala Hacl_Ed25519*Hacl_Impl_Ed25519_PointNegate_point_negateb Hacl_Ed25519Hacl_Ed25519_signc Hacl_Ed25519Hacl_Ed25519_verifyd Hacl_Ed25519Hacl_Ed25519_secret_to_publice Hacl_Ed25519Hacl_Ed25519_expand_keysf Hacl_Ed25519Hacl_Ed25519_sign_expandedgHacl_Poly1305_32Hacl_Poly1305_32_blocklenHacl_Poly1305_32Hacl_Poly1305_32_poly1305_inithHacl_Poly1305_32!Hacl_Poly1305_32_poly1305_update1iHacl_Poly1305_32 Hacl_Poly1305_32_poly1305_updatejHacl_Poly1305_32 Hacl_Poly1305_32_poly1305_finishkHacl_Poly1305_32Hacl_Poly1305_32_poly1305_macl Hacl_NaCl#Hacl_NaCl_crypto_secretbox_detachedm Hacl_NaCl(Hacl_NaCl_crypto_secretbox_open_detachedn Hacl_NaClHacl_NaCl_crypto_secretbox_easyo Hacl_NaCl$Hacl_NaCl_crypto_secretbox_open_easyp Hacl_NaClHacl_NaCl_crypto_box_beforenmq Hacl_NaCl%Hacl_NaCl_crypto_box_detached_afternmr Hacl_NaClHacl_NaCl_crypto_box_detacheds Hacl_NaCl*Hacl_NaCl_crypto_box_open_detached_afternmt Hacl_NaCl"Hacl_NaCl_crypto_box_open_detachedu Hacl_NaCl!Hacl_NaCl_crypto_box_easy_afternmv Hacl_NaClHacl_NaCl_crypto_box_easyw Hacl_NaCl&Hacl_NaCl_crypto_box_open_easy_afternmx Hacl_NaClHacl_NaCl_crypto_box_open_easyy Hacl_P256Hacl_P256_ecdsa_sign_p256_sha2z Hacl_P256 Hacl_P256_ecdsa_sign_p256_sha384{ Hacl_P256 Hacl_P256_ecdsa_sign_p256_sha512| Hacl_P256&Hacl_P256_ecdsa_sign_p256_without_hash} Hacl_P256Hacl_P256_ecdsa_verif_p256_sha2~ Hacl_P256!Hacl_P256_ecdsa_verif_p256_sha384 Hacl_P256!Hacl_P256_ecdsa_verif_p256_sha512 Hacl_P256"Hacl_P256_ecdsa_verif_without_hash Hacl_P256Hacl_P256_validate_public_key Hacl_P256Hacl_P256_validate_private_key Hacl_P256Hacl_P256_uncompressed_to_raw Hacl_P256Hacl_P256_compressed_to_raw Hacl_P256Hacl_P256_raw_to_uncompressed Hacl_P256Hacl_P256_raw_to_compressed Hacl_P256Hacl_P256_dh_initiator Hacl_P256Hacl_P256_dh_responder Hacl_HMACHacl_HMAC_legacy_compute_sha1 Hacl_HMACHacl_HMAC_compute_sha2_256 Hacl_HMACHacl_HMAC_compute_sha2_384 Hacl_HMACHacl_HMAC_compute_sha2_512 Hacl_HMACHacl_HMAC_compute_blake2s_32 Hacl_HMACHacl_HMAC_compute_blake2b_32 Hacl_HKDFHacl_HKDF_expand_sha2_256 Hacl_HKDFHacl_HKDF_extract_sha2_256 Hacl_HKDFHacl_HKDF_expand_sha2_512 Hacl_HKDFHacl_HKDF_extract_sha2_512 Hacl_HKDFHacl_HKDF_expand_blake2s_32 Hacl_HKDFHacl_HKDF_extract_blake2s_32 Hacl_HKDFHacl_HKDF_expand_blake2b_32 Hacl_HKDFHacl_HKDF_extract_blake2b_32A ߀%Hacl_Chacha20Poly1305_32_aead_encrypt%Hacl_Chacha20Poly1305_32_aead_decrypt data_size  ~~S~ ~S~ ~S~A( An! Ap! !  AlAlAlj! AAlAlj! ! AlAn! AlAp!A!@  I@A( AlAlAlj!A! A(AAlAlA(jA!!  6! B7 Ak!@ AK@A(  Alj )7 Ak!A!!  6  ! )! ! AAlAlj)! ! ! ! B! AB! A4 BA ! AB! A(! ! ! !! !" !#  7  7  !7  "7  #7 B!$ $!% ) !&  & %7 !' AAlAlj!( ')!) ')!* ')!+ ')!, ') !- ()!. ()!/ ()!0 () !1 )!2 )!3 )!4 )!5 ) !6 )!7 )!8 )!9 )!: ) !; 7 2|!< 8 3|!= 9 4|!> : 5|!? ; 6|!@ ) <~!A * <~!B + <~!C , <~!D - <~!E A 1 =~|!F B ) =~|!G C * =~|!H D + =~|!I E , =~|!J F 0 >~|!K G 1 >~|!L H ) >~|!M I * >~|!N J + >~|!O K / ?~|!P L 0 ?~|!Q M 1 ?~|!R N ) ?~|!S O * ?~|!T P . @~|!U Q / @~|!V R 0 @~|!W S 1 @~|!X T ) @~|!Y U!Z V![ W!\ X!] Y!^B!_ ZA!` ]A!a Z _!b ] _!c [ `|!d ^ a|!e dA!f eA!g gA!h g h|!i d _!j e _!k \ f|!l b i|!m lA!n mA!o l _!p m _!q c n|!r j o|!s rA!t r _!u k t|!v q!w s!x p!y u!z v!{ w7 x7 y7 z7 {7 Aj!A!!  6  AK AlAlAlj!|A!} }A(AAlAlA(jA!!  6!~ ~B7 }Ak!}@ }AK@A( ~ }Alj ~)7 }Ak!}A!!  6  ~!A! A(AAlAlA(jA!!  6! A: Ak!@ AK@A(  Alj -: Ak!A!!  6  ! |! ! !@ AK@A(  AkAlj  AkAlj-: Ak!A!!  6  )! ! AAlAlj)! ! ! ! B! AB! A4 BA ! AB! A(! ! ! ! ! !  7  7  7  7  7 B AlAp! !  AlAnAlj)!  AlAnAlj  7 ! AAlAlj! )! )! )! )! ) ! )! )! )! ) ! )! )! )! )! ) ! )! )! )! )! ) !  |!  |!  |!  |!  |!  ~!  ~!  ~!  ~!  ~!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|! ! ! ! ! !B! A! A!  !  !  |!  |! A! A! A!  |!  !  !  |!  |! A! A!  !  !  |!  |! A!  !  |! ! ! ! ! ! 7 7 7 7 7 AA} A! A(AAlAlA(jA!!  6! A: Ak!@ AK@A(  Alj -: Ak!A!!  6  ! ! ! !@ AK@A(  AkAlj  AkAlj-: Ak!A!!  6  AK AAlAlj! !A! A(AAlAlA(jA!!  6! B7 Ak!@ AK@A(  Alj )7 Ak!A!!  6  ! )! ! AAlAlj)! ! ! ! B! AB! A4 BA ! AB! A(! ! ! ! ! !  7  7  7  7  7 B! ! ) !   7 ! AAlAlj! )! )! )! )! ) ! )! )! )! ) ! )! )! )! )! ) ! )! )! )! )! ) !  |!  |!  |!  |!  |!  ~!  ~!  ~!  ~!  ~!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|!   ~|! ! ! ! ! !B! A! A!  !  !  |!  |! A! A! A!  |!  !  !  |!  |! A! A!  !  !  |!  |! A!  !  |! ! ! ! ! !  7  7  7  7  7 AA} !!  A!!  6 ~ ~~~S~A(A! A(AAlAlA(jA!!  6! B7 Ak! @ AK@A( Alj )7 Ak! A!!  6  ! A! A(AAlAlA(jA!!  6! A: Ak! @ AK@A(  Alj -: Ak! A!!  6  ! ! AAlAlj! ! B7 B7 B7 B7 B7 )! ! AAlAlj)! !B!B!  !  ! ! AAlAlj! A AlAlj! AAlAlj! ! ! B!! AB!" A4 BA !# AB!$ A(!% !!& "!' #!( $!) %!*  &7  '7  (7  )7  *7 )!+ )!, )!- )!. ) !/  +B~7  ,B~7  -B~7  .B~7  /B~7  )7  )7  )7  )7  ) 7  )7  )7  )7  )7  ) 7 AG  A}  AG  A}   7 AAlAlj 7 AAlAlj!0 !1A!2 2A(AAlAlA(jA!!  6!3 3B7 2Ak!2@ 2AK@A( 3 2Alj 3)7 2Ak!2A!!  6  3!4 )!5 5!6 AAlAlj)!7 7!8 6!9 8!: 9B!; 9AB!< 9A4 :BA != :AB!> :A(!? ;!@ !C ?!D 4 @7 4 A7 4 B7 4 C7 4 D7 B!E E!F 4) !G 4 G F7 0!H 0AAlAlj!I H)!J H)!K H)!L H)!M H) !N I)!O I)!P I)!Q I) !R 4)!S 4)!T 4)!U 4)!V 4) !W 1)!X 1)!Y 1)!Z 1)![ 1) !\ X S|!] Y T|!^ Z U|!_ [ V|!` \ W|!a J ]~!b K ]~!c L ]~!d M ]~!e N ]~!f b R ^~|!g c J ^~|!h d K ^~|!i e L ^~|!j f M ^~|!k g Q _~|!l h R _~|!m i J _~|!n j K _~|!o k L _~|!p l P `~|!q m Q `~|!r n R `~|!s o J `~|!t p K `~|!u q O a~|!v r P a~|!w s Q a~|!x t R a~|!y u J a~|!z v!{ w!| x!} y!~ z!B! {A! ~A! { ! ~ ! | |!  |! A! A! A!  |!  !  ! } |!  |! A! A!  !  !  |!  |! A!  !  |! ! ! ! ! ! 1 7 1 7 1 7 1 7 1 7  kA!!  A!!  6 ΁~A(    AGA! A(AAlAlA(jA! ! 6! A: Ak! @ AK@A( Alj -: Ak! A! ! 6  !A   AG !      A! ! A! ! 6 ~A(A! A(AAlAlA(jA! ! 6! A: Ak! @ AK@A( Alj -: Ak! A! ! 6  !A! A(AAlAlA(jA! ! 6! A: Ak!@ AK@A(  Alj -: Ak!A! ! 6  !A   AG !      A(AAlAlA(jA! ! 6! A: !A!@ AI@A(  Alj-!  Alj-!  sAq!A sAjAq!  rAq! AvAq! AkAq!   -qAq: Aj!A! ! 6  -! AFAq    AGAA ! ! A! ! 6 Д#                                    g jgrn<:ORQhك[ɼg j;ʄg+rn<6_:OтRQl>+hkAكy!~[xjVp $ν|*ƇGF0FؘiD[\"kqCy!Ib%@@QZ^&Ƕ]/SD!7Ç ZEogL*B9q"am 8D꾤K`Kp~('09|eVD")*C#9Y[e }]O~o,CN~S5:*ӆ#EgܺvT2؞]|6*)bp0ZY9Y/1 g&3gXhJd . ۤOHG/BD7q۵[V9Y?^[1$} Ut]rހܛtiGƝ̡ $o,-tJܩ\ڈvRQ>m1'Y GQcg)) '8!.m,M 8STs e jv.,r迢KfpK£Ql$օ5pjl7LwH'4 9JNOʜ[o.htocxxȄnjlPxq"(ט/Be#D7q/;Mۉ۵8H[V9YO?m^BؾopE[N1$} Uo{t]r;ހ5%ܛ&itJi%O8GՌƝew̡ $u+Yo,-ntJAܩ\SڈvfRQ>2-m1?!'Y= % GoQcpn g))/F '&&\8!.*Zm,M߳ 8ScTs ew< jvG.;5,rdL迢0BKfpK0TQlReU$* qW5ѻ2pjҸSAQl7LwH'Hᵼ4cZų 9ˊAJNscwOʜ[o.h]t`/CocxrxȄ9dnj(c#齂lPyƲ+SrxqƜa&>'!Ǹ}xnO}orgȢ}c ?G5 q}#w($@{2 ˾L*~e)Y:o_XGJDl $-7)8+>'=,      expand 32-byte k unreachable (pattern matches are exhaustive in F*)Q%cʹO%cʹc%Q@@?