libcrux-hacl 0.0.2-pre.2

• i686-pc-windows-msvc.txt
• i686-unknown-linux-gnu.txt
• x86_64-apple-darwin.txt
• x86_64-pc-windows-msvc.txt
• x86_64-unknown-linux-gnu.txt

# rustc version
rustc 1.86.0-nightly (f7cc13af8 2025-01-25)# docs.rs version
docsrs 0.6.0 (29a0e81b 2025-01-22)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/libcrux-hacl-0.0.2-pre.2/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/libcrux-hacl-0.0.2-pre.2/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "6442450944" "--cpus" "6" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:c80049f3b88b82089a44e0f06d0d6029d44b96b7257e55a1cd63dbc9f4c33334" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250125-1.86.0-nightly-f7cc13af8\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-pc-windows-msvc\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-pc-windows-msvc", kill_on_drop: false }`
[INFO] [stdout] 0714fe3489fd0b6f2670d3123326e9fabe7a9d5f3b0f12f583c2b9a531328580
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "0714fe3489fd0b6f2670d3123326e9fabe7a9d5f3b0f12f583c2b9a531328580", kill_on_drop: false }`
[INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op
[INFO] [stderr]    Compiling libcrux-hacl v0.0.2-pre.2 (/opt/rustwide/workdir)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: GNU compiler is not supported for this target
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: GNU compiler is not supported for this target
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: GNU compiler is not supported for this target
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: GNU compiler is not supported for this target
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: GNU compiler is not supported for this target
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: GNU compiler is not supported for this target
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: GNU compiler is not supported for this target
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c: In function 'update_block':
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:239:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   239 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:180:18: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   180 |     wv_a12[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a12[0U], 8U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:239:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   239 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:165:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   165 |     wv_a8[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a8[0U], 16U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:239:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   239 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:131:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   131 |     wv_a5[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a5[0U], 8U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:239:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   239 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:116:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   116 |     wv_a1[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a1[0U], 16U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:239:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   239 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:180:18: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   180 |     wv_a12[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a12[0U], 8U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:239:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   239 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:165:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   165 |     wv_a8[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a8[0U], 16U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:239:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   239 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:131:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   131 |     wv_a5[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a5[0U], 8U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:239:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   239 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:116:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   116 |     wv_a1[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a1[0U], 16U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:215:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   215 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:180:18: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   180 |     wv_a12[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a12[0U], 8U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:215:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   215 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:165:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   165 |     wv_a8[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a8[0U], 16U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:215:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   215 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:131:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   131 |     wv_a5[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a5[0U], 8U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:215:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   215 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:116:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   116 |     wv_a1[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a1[0U], 16U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:215:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   215 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:180:18: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   180 |     wv_a12[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a12[0U], 8U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:215:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   215 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:165:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   165 |     wv_a8[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a8[0U], 16U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:215:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   215 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:131:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   131 |     wv_a5[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a5[0U], 8U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:215:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   215 |   KRML_LOOP2(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:116:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   116 |     wv_a1[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a1[0U], 16U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:214:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   214 |   KRML_LOOP2(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:180:18: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   180 |     wv_a12[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a12[0U], 8U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:214:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   214 |   KRML_LOOP2(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:165:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   165 |     wv_a8[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a8[0U], 16U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:214:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   214 |   KRML_LOOP2(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:131:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   131 |     wv_a5[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a5[0U], 8U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:214:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   214 |   KRML_LOOP2(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:268:5: note: in expansion of macro 'KRML_LOOP10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   268 |     KRML_LOOP##n(i, k, x)                                                      \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |     ^~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:344:43: note: in expansion of macro 'KRML_UNROLL_FOR'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   344 | #  define KRML_MAYBE_FOR10(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 10, k, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                           ^~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:71:3: note: in expansion of macro 'KRML_MAYBE_FOR10'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    71 |   KRML_MAYBE_FOR10(i,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:104:4: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_left32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   104 |   (Lib_IntVector_Intrinsics_vec128_rotate_left32(x0,32-(x1)))
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:116:17: note: in expansion of macro 'Lib_IntVector_Intrinsics_vec128_rotate_right32'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   116 |     wv_a1[0U] = Lib_IntVector_Intrinsics_vec128_rotate_right32(wv_a1[0U], 16U);
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:27,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/../Hacl_Hash_Blake2s_Simd128.h:39,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:40,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /usr/lib/gcc/x86_64-linux-gnu/11/include/tmmintrin.h:136:1: error: inlining failed in call to 'always_inline' '_mm_shuffle_epi8': target specific option mismatch
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   136 | _mm_shuffle_epi8 (__m128i __X, __m128i __Y)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       | ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: In file included from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/FStar_UInt128.h:15,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h:26,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/karamel/include/krml/internal/types.h:99,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/include/msvc/internal/Hacl_Hash_Blake2s_Simd128.h:34,
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:                  from /opt/rustwide/workdir/c/src/msvc/Hacl_Hash_Blake2s_Simd128.c:26:
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/include/msvc/internal/../libintvector.h:98:68: note: called from here
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:    98 |   (((x1) == 8? Lib_IntVector_Intrinsics_vec128_rotate_left32_8(x0) : \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |                                                                    ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:200:3: note: in definition of macro 'KRML_LOOP1'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   200 |   x \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:214:3: note: in expansion of macro 'KRML_LOOP2'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   214 |   KRML_LOOP2(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:231:3: note: in expansion of macro 'KRML_LOOP4'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   231 |   KRML_LOOP4(i, n, x)
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2: /opt/rustwide/workdir/c/karamel/include/krml/internal/target.h:238:3: note: in expansion of macro 'KRML_LOOP8'
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:   238 |   KRML_LOOP8(i, n, x)                                                          \
[INFO] [stderr] warning: libcrux-hacl@0.0.2-pre.2:       |   ^~~~~~~~~~
[WARN] too much data in the log, truncating it