[INFO] fetching crate hacl 0.0.3-pre.1...
[INFO] testing hacl-0.0.3-pre.1 against beta-2025-09-21 for beta-1.91-3
[INFO] extracting crate hacl 0.0.3-pre.1 into /workspace/builds/worker-7-tc2/source
[INFO] started tweaking crates.io crate hacl 0.0.3-pre.1
[INFO] finished tweaking crates.io crate hacl 0.0.3-pre.1
[INFO] tweaked toml for crates.io crate hacl 0.0.3-pre.1 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate hacl 0.0.3-pre.1 on toolchain beta-2025-09-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 102 packages to latest compatible versions
[INFO] [stderr]       Adding criterion v0.5.1 (available: v0.7.0)
[INFO] [stderr]       Adding rand v0.8.5 (available: v0.9.2)
[INFO] [stderr]       Adding rand_core v0.6.4 (available: v0.9.3)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 103cef459448f8d4bf3b2e41be52d8f0c4b169e107d9dcb10d13e85e1ee5658e
[INFO] running `Command { std: "docker" "start" "-a" "103cef459448f8d4bf3b2e41be52d8f0c4b169e107d9dcb10d13e85e1ee5658e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "103cef459448f8d4bf3b2e41be52d8f0c4b169e107d9dcb10d13e85e1ee5658e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "103cef459448f8d4bf3b2e41be52d8f0c4b169e107d9dcb10d13e85e1ee5658e", kill_on_drop: false }`
[INFO] [stdout] 103cef459448f8d4bf3b2e41be52d8f0c4b169e107d9dcb10d13e85e1ee5658e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d328dea1a98416a064c0b5599b04e60b28a7570b546a60c4dcaee3b8f62fa664
[INFO] running `Command { std: "docker" "start" "-a" "d328dea1a98416a064c0b5599b04e60b28a7570b546a60c4dcaee3b8f62fa664", kill_on_drop: false }`
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling bindgen v0.65.1
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling fs_extra v1.3.0
[INFO] [stderr]    Compiling hacl v0.0.3-pre.1 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling regex-automata v0.4.11
[INFO] [stderr]    Compiling regex v1.11.3
[INFO] [stderr]    Compiling hacl-sys v0.0.3-pre.1
[INFO] [stderr] error: failed to run custom build command for `hacl-sys v0.0.3-pre.1`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/hacl-sys-01e5da70e75d8e7c/build-script-build` (signal: 6, SIGABRT: process abort signal)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   -- The C compiler identification is GNU 13.3.0
[INFO] [stderr]   -- The CXX compiler identification is GNU 13.3.0
[INFO] [stderr]   -- Detecting C compiler ABI info
[INFO] [stderr]   -- Detecting C compiler ABI info - done
[INFO] [stderr]   -- Check for working C compiler: /usr/bin/cc - skipped
[INFO] [stderr]   -- Detecting C compile features
[INFO] [stderr]   -- Detecting C compile features - done
[INFO] [stderr]   -- Detecting CXX compiler ABI info
[INFO] [stderr]   -- Detecting CXX compiler ABI info - done
[INFO] [stderr]   -- Check for working CXX compiler: /usr/bin/c++ - skipped
[INFO] [stderr]   -- Detecting CXX compile features
[INFO] [stderr]   -- Detecting CXX compile features - done
[INFO] [stderr]   -- The ASM compiler identification is GNU
[INFO] [stderr]   -- Found assembler: /usr/bin/cc
[INFO] [stderr]   -- Bug 81300 check: FALSE
[INFO] [stderr]   -- int128 support: TRUE
[INFO] [stderr]   -- explicit_bzero support: TRUE
[INFO] [stderr]   -- vec128 support: TRUE
[INFO] [stderr]   -- vec256 support: TRUE
[INFO] [stderr]   -- Detected vale support
[INFO] [stderr]   -- Detected inline assembly support
[INFO] [stderr]   -- Detected intrinsics support
[INFO] [stderr]   -- Detected an x64 architecture
[INFO] [stderr]   -- Configuring done (1.5s)
[INFO] [stderr]   -- Generating done (0.0s)
[INFO] [stderr]   -- Build files have been written to: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build
[INFO] [stderr]   ninja: Entering directory `build'
[INFO] [stderr]   [1/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HMAC_Blake2s_128.c.o
[INFO] [stderr]   [2/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HKDF_Blake2s_128.c.o
[INFO] [stderr]   [3/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Streaming_Poly1305_128.c.o
[INFO] [stderr]   [4/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Hash_Blake2s_128.c.o
[INFO] [stderr]   [5/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Streaming_Blake2s_128.c.o
[INFO] [stderr]   [6/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve51_CP128_SHA256.c.o
[INFO] [stderr]   [7/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Chacha20Poly1305_128.c.o
[INFO] [stderr]   [8/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Poly1305_128.c.o
[INFO] [stderr]   [9/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Bignum64.c.o
[INFO] [stderr]   [10/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve51_CP128_SHA512.c.o
[INFO] [stderr]   [11/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_P256_CP128_SHA256.c.o
[INFO] [stderr]   [12/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_GenericField64.c.o
[INFO] [stderr]   [13/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Chacha20_Vec128.c.o
[INFO] [stderr]   [14/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve64_CP128_SHA256.c.o
[INFO] [stderr]   [15/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve64_CP128_SHA512.c.o
[INFO] [stderr]   [16/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Hash_Blake2b_256.c.o
[INFO] [stderr]   [17/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HKDF_Blake2b_256.c.o
[INFO] [stderr]   [18/153] Building C object CMakeFiles/hacl.dir/src/Hacl_NaCl.c.o
[INFO] [stderr]   [19/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Streaming_Poly1305_256.c.o
[INFO] [stderr]   [20/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Streaming_Blake2b_256.c.o
[INFO] [stderr]   [21/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20Poly1305_256.c.o
[INFO] [stderr]   [22/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Poly1305_32.c.o
[INFO] [stderr]   [23/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HMAC.c.o
[INFO] [stderr]   [24/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HMAC_Blake2b_256.c.o
[INFO] [stderr]   [25/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Salsa20.c.o
[INFO] [stderr]   [26/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o
[INFO] [stderr]   [27/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HMAC_DRBG.c.o
[INFO] [stderr]   [28/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve64_CP256_SHA256.c.o
[INFO] [stderr]   [29/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Poly1305_256.c.o
[INFO] [stderr]   [30/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_Base.c.o
[INFO] [stderr]   [31/153] Building C object CMakeFiles/hacl.dir/src/Lib_Memzero0.c.o
[INFO] [stderr]   [32/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_P256_CP256_SHA256.c.o
[INFO] [stderr]   [33/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve51_CP256_SHA256.c.o
[INFO] [stderr]   [34/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve51_CP256_SHA512.c.o
[INFO] [stderr]   [35/153] Building C object CMakeFiles/hacl.dir/src/Hacl_EC_Ed25519.c.o
[INFO] [stderr]   [36/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20Poly1305_32.c.o
[INFO] [stderr]   [37/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Streaming_Poly1305_32.c.o
[INFO] [stderr]   [38/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
[INFO] [stderr]   [39/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Streaming_Blake2.c.o
[INFO] [stderr]   [40/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve64_CP256_SHA512.c.o
[INFO] [stderr]   [41/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Curve25519_51.c.o
[INFO] [stderr]   [42/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum32.c.o
[INFO] [stderr]   [43/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA3.c.o
[INFO] [stderr]   [44/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_Blake2.c.o
[INFO] [stderr]   [45/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA2.c.o
[INFO] [stderr]   [46/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_SHA2_Vec128.c.o
[INFO] [stderr]   [47/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_MD5.c.o
[INFO] [stderr]   [48/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA1.c.o
[INFO] [stderr]   [49/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HKDF.c.o
[INFO] [stderr]   [50/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve51_CP32_SHA512.c.o
[INFO] [stderr]   [51/153] Building C object CMakeFiles/hacl.dir/src/Hacl_FFDHE.c.o
[INFO] [stderr]   [52/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo_KEM.c.o
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/Hacl_Frodo_KEM.c: In function 'randombytes_':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/Hacl_Frodo_KEM.c:33:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]      33 |   bool b = Lib_RandomBuffer_System_randombytes(res, len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/internal/Hacl_Frodo_KEM.h:40,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/Hacl_Frodo_KEM.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   [53/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve51_CP32_SHA256.c.o
[INFO] [stderr]   [54/153] Building C object CMakeFiles/hacl.dir/src/Lib_RandomBuffer_System.c.o
[INFO] [stderr]   [55/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Bignum4096.c.o
[INFO] [stderr]   [56/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum256_32.c.o
[INFO] [stderr]   [57/153] Building C object CMakeFiles/hacl.dir/src/Hacl_GenericField32.c.o
[INFO] [stderr]   [58/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_P256_CP32_SHA256.c.o
[INFO] [stderr]   [59/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo976.c.o
[INFO] [stderr]   [60/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_AutoConfig2.c.o
[INFO] [stderr]   [61/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo1344.c.o
[INFO] [stderr]   [62/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Curve25519.c.o
[INFO] [stderr]   [63/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Ed25519.c.o
[INFO] [stderr]   [64/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Cipher.c.o
[INFO] [stderr]   [65/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20_Vec32.c.o
[INFO] [stderr]   [66/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo64.c.o
[INFO] [stderr]   [67/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo640.c.o
[INFO] [stderr]   [68/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum4096_32.c.o
[INFO] [stderr]   [69/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Chacha20Poly1305.c.o
[INFO] [stderr]   [70/153] Building ASM object CMakeFiles/hacl.dir/vale/src/cpuid-x86_64-linux.S.o
[INFO] [stderr]   [71/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_HMAC.c.o
[INFO] [stderr]   [72/153] Building ASM object CMakeFiles/hacl.dir/vale/src/sha256-x86_64-linux.S.o
[INFO] [stderr]   [73/153] Building ASM object CMakeFiles/hacl.dir/vale/src/curve25519-x86_64-linux.S.o
[INFO] [stderr]   [74/153] Building ASM object CMakeFiles/hacl.dir/vale/src/poly1305-x86_64-linux.S.o
[INFO] [stderr]   [75/153] Building ASM object CMakeFiles/hacl.dir/vale/src/aesgcm-x86_64-linux.S.o
[INFO] [stderr]   [76/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Ed25519.c.o
[INFO] [stderr]   [77/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_NaCl.c.o
[INFO] [stderr]   [78/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Poly1305_32.c.o
[INFO] [stderr]   [79/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve64_CP32_SHA512.c.o
[INFO] [stderr]   [80/153] Building C object CMakeFiles/hacl.dir/src/Hacl_RSAPSS.c.o
[INFO] [stderr]   [81/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Poly1305.c.o
[INFO] [stderr]   [82/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Curve25519_64.c.o
[INFO] [stderr]   [83/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve64_CP32_SHA256.c.o
[INFO] [stderr]   [84/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_HKDF.c.o
[INFO] [stderr]   [85/153] Building C object CMakeFiles/hacl_static.dir/src/Lib_Memzero0.c.o
[INFO] [stderr]   [86/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HMAC.c.o
[INFO] [stderr]   [87/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_Base.c.o
[INFO] [stderr]   [88/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Hash.c.o
[INFO] [stderr]   [89/153] Building C object CMakeFiles/hacl.dir/src/Hacl_P256.c.o
[INFO] [stderr]   [90/153] Building C object CMakeFiles/hacl.dir/src/Hacl_EC_K256.c.o
[INFO] [stderr]   [91/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Streaming_Blake2.c.o
[INFO] [stderr]   [92/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_DRBG.c.o
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:250:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     250 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:340:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     340 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:430:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     430 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:520:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     520 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:608:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     608 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:689:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     689 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:770:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     770 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:851:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     851 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:947:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     947 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:1168:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1168 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:1389:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1389 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:1610:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1610 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   [93/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Salsa20.c.o
[INFO] [stderr]   [94/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HMAC_DRBG.c.o
[INFO] [stderr]   [95/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Curve25519_51.c.o
[INFO] [stderr]   [96/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum256.c.o
[INFO] [stderr]   [97/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_AEAD.c.o
[INFO] [stderr]   [98/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Streaming_Poly1305_32.c.o
[INFO] [stderr]   [99/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Chacha20.c.o
[INFO] [stderr]   [100/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_EC_Ed25519.c.o
[INFO] [stderr]   [101/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Chacha20Poly1305_32.c.o
[INFO] [stderr]   [102/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_Blake2.c.o
[INFO] [stderr]   [103/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_SHA3.c.o
[INFO] [stderr]   [104/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_SHA2.c.o
[INFO] [stderr]   [105/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_SHA1.c.o
[INFO] [stderr]   [106/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HKDF.c.o
[INFO] [stderr]   [107/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_SHA2_Vec256.c.o
[INFO] [stderr]   [108/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_MD5.c.o
[INFO] [stderr]   [109/153] Building C object CMakeFiles/hacl.dir/src/Hacl_K256_ECDSA.c.o
[INFO] [stderr]   [110/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve51_CP32_SHA256.c.o
[INFO] [stderr]   [111/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve51_CP32_SHA512.c.o
[INFO] [stderr]   [112/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo_KEM.c.o
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/Hacl_Frodo_KEM.c: In function 'randombytes_':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/Hacl_Frodo_KEM.c:33:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]      33 |   bool b = Lib_RandomBuffer_System_randombytes(res, len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/internal/Hacl_Frodo_KEM.h:40,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/Hacl_Frodo_KEM.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   [113/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum256_32.c.o
[INFO] [stderr]   [114/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum32.c.o
[INFO] [stderr]   [115/153] Building C object CMakeFiles/hacl_static.dir/src/Lib_RandomBuffer_System.c.o
[INFO] [stderr]   [116/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_FFDHE.c.o
[INFO] [stderr]   [117/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_P256_CP32_SHA256.c.o
[INFO] [stderr]   [118/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo976.c.o
[INFO] [stderr]   [119/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_AutoConfig2.c.o
[INFO] [stderr]   [120/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Ed25519.c.o
[INFO] [stderr]   [121/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Curve25519.c.o
[INFO] [stderr]   [122/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Chacha20_Vec32.c.o
[INFO] [stderr]   [123/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_RSAPSS.c.o
[INFO] [stderr]   [124/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo640.c.o
[INFO] [stderr]   [125/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Cipher.c.o
[INFO] [stderr]   [126/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo1344.c.o
[INFO] [stderr]   [127/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Curve25519_64.c.o
[INFO] [stderr]   [128/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_EC_K256.c.o
[INFO] [stderr]   [129/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo64.c.o
[INFO] [stderr]   [130/153] Building ASM object CMakeFiles/hacl_static.dir/vale/src/cpuid-x86_64-linux.S.o
[INFO] [stderr]   [131/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve64_CP32_SHA256.c.o
[INFO] [stderr]   [132/153] Building ASM object CMakeFiles/hacl_static.dir/vale/src/sha256-x86_64-linux.S.o
[INFO] [stderr]   [133/153] Building ASM object CMakeFiles/hacl_static.dir/vale/src/curve25519-x86_64-linux.S.o
[INFO] [stderr]   [134/153] Building ASM object CMakeFiles/hacl_static.dir/vale/src/poly1305-x86_64-linux.S.o
[INFO] [stderr]   [135/153] Building ASM object CMakeFiles/hacl_static.dir/vale/src/aesgcm-x86_64-linux.S.o
[INFO] [stderr]   [136/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_HKDF.c.o
[INFO] [stderr]   [137/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_GenericField32.c.o
[INFO] [stderr]   [138/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve64_CP32_SHA512.c.o
[INFO] [stderr]   [139/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Poly1305.c.o
[INFO] [stderr]   [140/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum256.c.o
[INFO] [stderr]   [141/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_HMAC.c.o
[INFO] [stderr]   [142/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Chacha20Poly1305.c.o
[INFO] [stderr]   [143/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_AEAD.c.o
[INFO] [stderr]   [144/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Hash.c.o
[INFO] [stderr]   [145/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Ed25519.c.o
[INFO] [stderr]   [146/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum4096_32.c.o
[INFO] [stderr]   [147/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_K256_ECDSA.c.o
[INFO] [stderr]   [148/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum.c.o
[INFO] [stderr]   [149/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_DRBG.c.o
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:250:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     250 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   In file included from /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/EverCrypt_DRBG.h:38,
[INFO] [stderr]                    from /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:26:
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:340:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     340 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:430:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     430 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:520:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     520 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:608:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     608 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:689:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     689 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:770:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     770 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:851:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     851 |   bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len);
[INFO] [stderr]         |   ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha1':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:947:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]     947 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_256':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:1168:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1168 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_384':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:1389:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1389 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_512':
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/src/EverCrypt_DRBG.c:1610:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations]
[INFO] [stderr]    1610 |     bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1);
[INFO] [stderr]         |     ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here
[INFO] [stderr]      40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len);
[INFO] [stderr]         |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   [150/153] Linking C shared library libhacl.so
[INFO] [stderr]   [151/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_P256.c.o
[INFO] [stderr]   [152/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum.c.o
[INFO] [stderr]   [153/153] Linking C static library libhacl_static.a
[INFO] [stderr]   -- Install configuration: "Release"
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/lib/libhacl_static.a
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/lib/libhacl.so
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/lib/cmake/hacl/0.6.0/haclConfig.cmake
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/lib/cmake/hacl/0.6.0/haclConfig-release.cmake
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_NaCl.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/lowstar_endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/fstar_uint128_gcc64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/FStar_UInt128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/FStar_UInt_8_16_32_64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/LowStar_Endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Salsa20.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Poly1305_32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Curve25519_51.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HMAC_DRBG.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HMAC.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Lib_Memzero0.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/lib_intrinsics.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/config.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_IntTypes_Intrinsics.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_IntTypes_Intrinsics_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Ed25519.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_EC_Ed25519.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_Base.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Blake2.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_Blake2b_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/libintvector.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Blake2b_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_Blake2s_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Blake2s_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Bignum256_32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Bignum.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Bignum256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Bignum32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Bignum4096_32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Bignum4096.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Bignum64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_GenericField32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_GenericField64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Poly1305_32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec32.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Poly1305_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Poly1305_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Poly1305_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Poly1305_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Curve25519_64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/curve25519-inline.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_P256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_K256_ECDSA.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_EC_K256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_FFDHE.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA3.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_SHA2_Vec128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_SHA2_Vec256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA1.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_MD5.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HKDF.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HKDF_Blake2s_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HMAC_Blake2s_128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HKDF_Blake2b_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HMAC_Blake2b_256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_RSAPSS.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP128_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP128_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP256_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP256_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP32_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP32_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP256_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP256_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_P256_CP256_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP128_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP128_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP32_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP32_SHA512.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_P256_CP128_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HPKE_P256_CP32_SHA256.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Frodo1344.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Lib_RandomBuffer_System.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Frodo640.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Frodo976.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Frodo64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_DRBG.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Hash.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Error.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_HMAC.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Ed25519.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Curve25519.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_HKDF.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Cipher.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Chacha20Poly1305.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Poly1305.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_AEAD.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/fstar_int.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/c_endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/debug.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/compat.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/callconv.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/wasmsupport.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/builtin.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/fstar_uint128_gcc64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/fstar_uint128_struct_endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/fstar_uint128_msvc.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/FStar_UInt128.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/FStar_UInt_8_16_32_64.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/LowStar_Endianness.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/FStar_UInt128_Verified.h
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/vale
[INFO] [stderr]   -- Installing: /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/vale/Vale.h
[INFO] [stderr]   cargo:rerun-if-changed=build.rs
[INFO] [stderr]   cargo:rerun-if-env-changed=TARGET
[INFO] [stderr]   cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_AEAD.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features-time64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdc-predef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/locale_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__locale_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/strings.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/locale_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-least.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdio.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/cookie_io_functions_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdlib.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_wchar_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/waitflags.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/waitstatus.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clock_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clockid_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/timer_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/endian.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/endian.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/byteswap.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/uintn-identity.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/select.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/select.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/sigset_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__sigset_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timeval.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/endian.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/atomic_wide_counter.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/struct_mutex.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/struct_rwlock.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/alloca.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdlib-float.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdint.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/endian.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/fstar_uint128_gcc64.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/FStar_UInt128.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdbool.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/compat.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/fstar_uint128_gcc64.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdlib.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_ptrdiff_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_wchar_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_max_align_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_offsetof.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdio.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdbool.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/limits.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/limits.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/posix1_lim.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/local_lim.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/linux/limits.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthread_stack_min-dynamic.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthread_stack_min.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/posix2_lim.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/assert.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/time.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/features.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clock_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_tm.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clockid_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/timer_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_itimerspec.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/locale_t.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/FStar_UInt_8_16_32_64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdbool.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/compat.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/LowStar_Endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/inttypes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdbool.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/compat.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Error.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Chacha20Poly1305.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_32.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Poly1305_32.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Poly1305_256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/libintvector.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/config.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/emmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mm_malloc.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/stdlib.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/emmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/tmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/emmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/smmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/tmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/popcntintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/crc32intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/immintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/x86gprintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/hresetintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/uintrintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/usermsrintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/crc32intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/prfchiintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/raointintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/cmpccxaddintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/emmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/tmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/smmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/wmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/emmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__wmmintrin_aes.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__wmmintrin_pclmul.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/clflushoptintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/clwbintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx2intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/f16cintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/bmiintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/bmi2intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/lzcntintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/popcntintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/fmaintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512fintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512bwintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512bitalgintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512cdintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vpopcntdqintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vpopcntdqvlintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vnniintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlvnniintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxvnniintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512dqintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlbitalgintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlbwintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlcdintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vldqintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512erintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512ifmaintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512ifmavlintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxifmaintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vbmiintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vbmivlintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vbmi2intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlvbmi2intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512pfintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512fp16intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlfp16intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512bf16intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlbf16intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pkuintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/vpclmulqdqintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/vaesintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/gfniintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxvnniint8intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxneconvertintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/sha512intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/sm3intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/sm4intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxvnniint16intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/rtmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xtestintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/shaintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/fxsrintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xsaveintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xsaveoptintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xsavecintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xsavesintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/cetintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/adcintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/adxintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/rdseedintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/wbnoinvdintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/cldemoteintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/waitpkgintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/movdirintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pconfigintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/sgxintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/ptwriteintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/invpcidintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/amxfp16intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/keylockerintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/amxintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/amxcomplexintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vp2intersectintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlvp2intersectintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/enqcmdintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/serializeintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/tsxldtrkintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_128.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Poly1305_128.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/libintvector.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec128.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Curve25519.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Curve25519_64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Curve25519_51.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Ed25519.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Ed25519.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_HKDF.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_HMAC.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Lib_Memzero0.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Hash.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA3.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_Blake2s_128.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Lib_Memzero0.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/libintvector.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_Blake2b_256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Lib_Memzero0.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/libintvector.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_Error.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Bignum64.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Bignum.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/lib_intrinsics.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/config.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/x86intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/ia32intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/immintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mm3dnow.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/prfchwintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/prfchwintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/ammintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/fma4intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pmmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xopintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/fma4intrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/tbmintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/lwpintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mwaitxintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/clzerointrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/rdpruintrin.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HKDF.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HMAC.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HMAC.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HMAC_DRBG.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_HMAC.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA3.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_P256.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/lib_intrinsics.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_RSAPSS.h
[INFO] [stderr]   cargo:rerun-if-changed=/usr/include/string.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/lowstar_endianness.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/krml/internal/target.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Krmllib.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed/include/hacl/Hacl_Spec.h
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   mach_build: false
[INFO] [stderr]    >>> Copying HACL C file
[INFO] [stderr]        from /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hacl-sys-0.0.3-pre.1/.c
[INFO] [stderr]        to /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c
[INFO] [stderr]    >>> Building HACL C in /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c
[INFO] [stderr]    >>> CMAKE: cd "/opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c" && "cmake" "-B" "build" "-G" "Ninja" "-D" "CMAKE_BUILD_TYPE=Release"
[INFO] [stderr]    >>> Installing HACL C into /opt/rustwide/target/debug/build/hacl-sys-9e6269dcb4641d09/out/c/build/installed
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' (288) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/context.rs:1994:26:
[INFO] [stderr]   Non floating-type complex? Type(_Complex _Float16, kind: Complex, cconv: 100, decl: Cursor( kind: NoDeclFound, loc: builtin definitions, usr: None), canon: Cursor( kind: NoDeclFound, loc: builtin definitions, usr: None)), Type(_Float16, kind: Float16, cconv: 100, decl: Cursor( kind: NoDeclFound, loc: builtin definitions, usr: None), canon: Cursor( kind: NoDeclFound, loc: builtin definitions, usr: None))
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x5cdf608b9702 - std::backtrace_rs::backtrace::libunwind::trace::hcab59e1e990fdc24
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]      1:     0x5cdf608b9702 - std::backtrace_rs::backtrace::trace_unsynchronized::he24cc57f3d2f47b7
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]      2:     0x5cdf608b9702 - std::sys::backtrace::_print_fmt::hf8d65ede198eeb54
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:66:9
[INFO] [stderr]      3:     0x5cdf608b9702 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h67edf0e4d33c343c
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:39:26
[INFO] [stderr]      4:     0x5cdf608ca9af - core::fmt::rt::Argument::fmt::hef94184842aeafdd
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/rt.rs:173:76
[INFO] [stderr]      5:     0x5cdf608ca9af - core::fmt::write::hcf0c66b48a8fa606
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/mod.rs:1468:25
[INFO] [stderr]      6:     0x5cdf60888ba1 - std::io::default_write_fmt::h1ecb8c7cfa7da481
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:639:11
[INFO] [stderr]      7:     0x5cdf60888ba1 - std::io::Write::write_fmt::h051fe4a9e4fdbf48
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:1954:13
[INFO] [stderr]      8:     0x5cdf60894e62 - std::sys::backtrace::BacktraceLock::print::h07e5435aa717b414
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:42:9
[INFO] [stderr]      9:     0x5cdf60897e3f - std::panicking::default_hook::{{closure}}::h91001850288db5f7
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:301:27
[INFO] [stderr]     10:     0x5cdf60897c99 - std::panicking::default_hook::h2346dbb704ef5512
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:328:9
[INFO] [stderr]     11:     0x5cdf60898575 - std::panicking::panic_with_hook::hd2b063a6090d23a4
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:834:13
[INFO] [stderr]     12:     0x5cdf6089835a - std::panicking::panic_handler::{{closure}}::he666d95f139a333e
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:707:13
[INFO] [stderr]     13:     0x5cdf60894f99 - std::sys::backtrace::__rust_end_short_backtrace::h631ad224854ebee5
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:174:18
[INFO] [stderr]     14:     0x5cdf6087ca6d - __rustc[1d67440d6e82e4f]::rust_begin_unwind
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:698:5
[INFO] [stderr]     15:     0x5cdf608d48c0 - core::panicking::panic_fmt::h420ddb7fd73daf53
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:75:14
[INFO] [stderr]     16:     0x5cdf6052c119 - bindgen::ir::context::BindgenContext::build_builtin_ty::hb0c29d3257e2a4cf
[INFO] [stderr]     17:     0x5cdf605335f6 - bindgen::ir::context::BindgenContext::builtin_or_resolved_ty::hc45e7150a14d8fbb
[INFO] [stderr]     18:     0x5cdf604e3cb4 - bindgen::ir::item::Item::from_ty_or_ref_with_id::h3bb3ddc8f2280143
[INFO] [stderr]     19:     0x5cdf604e08b5 - bindgen::ir::item::Item::from_ty_or_ref::h45b1dc9fd95361ac
[INFO] [stderr]     20:     0x5cdf604eb013 - bindgen::ir::function::args_from_ty_and_cursor::{{closure}}::hd96fb2cfbe4f6189
[INFO] [stderr]     21:     0x5cdf60414d7f - <core::iter::adapters::map::Map<I,F> as core::iter::traits::iterator::Iterator>::next::h2bc86d6633d44bab
[INFO] [stderr]     22:     0x5cdf603a90b1 - <alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter::h062b88fb05baa630
[INFO] [stderr]     23:     0x5cdf603bf30e - <alloc::vec::Vec<T> as alloc::vec::spec_from_iter::SpecFromIter<T,I>>::from_iter::hca527fbddc9b96bb
[INFO] [stderr]     24:     0x5cdf603be2f4 - <alloc::vec::Vec<T> as core::iter::traits::collect::FromIterator<T>>::from_iter::h76a6891e972c81b3
[INFO] [stderr]     25:     0x5cdf6041a452 - core::iter::traits::iterator::Iterator::collect::h78288ab257734778
[INFO] [stderr]     26:     0x5cdf604ead5d - bindgen::ir::function::args_from_ty_and_cursor::ha1c9eabfeb6b4696
[INFO] [stderr]     27:     0x5cdf604e9186 - bindgen::ir::function::FunctionSig::from_ty::h6272de49b08f2a78
[INFO] [stderr]     28:     0x5cdf6048d603 - bindgen::ir::ty::Type::from_clang_ty::h06dca19de006962e
[INFO] [stderr]     29:     0x5cdf604e1e45 - bindgen::ir::item::Item::from_ty_with_id::h276238262afcadc9
[INFO] [stderr]     30:     0x5cdf604e6f66 - bindgen::ir::item::Item::from_ty::h7928a5659a7f609b
[INFO] [stderr]     31:     0x5cdf604e65c3 - bindgen::ir::item::Item::parse::h8532c26ee3c1d2ec
[INFO] [stderr]     32:     0x5cdf6043b574 - bindgen::parse_one::he0ad9c59b0b0a02d
[INFO] [stderr]     33:     0x5cdf60434abb - bindgen::parse::{{closure}}::{{closure}}::hc411a766882cb6ef
[INFO] [stderr]     34:     0x5cdf604499e3 - bindgen::clang::visit_children::hddcc82ba0db87b7e
[INFO] [stderr]     35:     0x7b09e4ccb9d6 - <unknown>
[INFO] [stderr]     36:     0x7b09e4ccbb78 - <unknown>
[INFO] [stderr]     37:     0x7b09e4cca5d9 - <unknown>
[INFO] [stderr]     38:     0x7b09e4cd5fda - clang_visitChildren
[INFO] [stderr]     39:     0x5cdf6067f9ff - clang_sys::clang_visitChildren::hf5395ce1c3aed23d
[INFO] [stderr]     40:     0x5cdf6044e05f - bindgen::clang::Cursor::visit::hd3270b3d822c21f8
[INFO] [stderr]     41:     0x5cdf60434a5d - bindgen::parse::{{closure}}::h272ae255bb6cd9d6
[INFO] [stderr]     42:     0x5cdf605299f6 - bindgen::ir::context::BindgenContext::with_module::h5895f0bb825be76a
[INFO] [stderr]     43:     0x5cdf6043480b - bindgen::parse::hd4ccd4afe4b26f1f
[INFO] [stderr]     44:     0x5cdf6043a3e1 - bindgen::Bindings::generate::h2c2664f2dca01048
[INFO] [stderr]     45:     0x5cdf60434cf5 - bindgen::Builder::generate::hde9305050701ded4
[INFO] [stderr]     46:     0x5cdf6039c210 - build_script_build::create_bindings::hc4ef4d842f258396
[INFO] [stderr]     47:     0x5cdf6039e245 - build_script_build::main::h5552366198df6015
[INFO] [stderr]     48:     0x5cdf603a60d3 - core::ops::function::FnOnce::call_once::he9d82c8258ba1822
[INFO] [stderr]     49:     0x5cdf6039edd6 - std::sys::backtrace::__rust_begin_short_backtrace::h1e4e0c839567812e
[INFO] [stderr]     50:     0x5cdf603a5ad9 - std::rt::lang_start::{{closure}}::he308ae422a6f97da
[INFO] [stderr]     51:     0x5cdf6088a700 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h4967fb77e0dfb65c
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:287:21
[INFO] [stderr]     52:     0x5cdf6088a700 - std::panicking::catch_unwind::do_call::hf7e87675c3e14c23
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stderr]     53:     0x5cdf6088a700 - std::panicking::catch_unwind::h26f0e342004b5114
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stderr]     54:     0x5cdf6088a700 - std::panic::catch_unwind::h9ee33ca17775d897
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stderr]     55:     0x5cdf6088a700 - std::rt::lang_start_internal::{{closure}}::h243ba3495fa13cf8
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/rt.rs:175:24
[INFO] [stderr]     56:     0x5cdf6088a700 - std::panicking::catch_unwind::do_call::h819db0a7788e7259
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stderr]     57:     0x5cdf6088a700 - std::panicking::catch_unwind::h23e08fb4a7b9f405
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stderr]     58:     0x5cdf6088a700 - std::panic::catch_unwind::h7ca3d9eabb6135ff
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stderr]     59:     0x5cdf6088a700 - std::rt::lang_start_internal::h06ad7395f4fda8d7
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/rt.rs:171:5
[INFO] [stderr]     60:     0x5cdf603a5ac1 - std::rt::lang_start::hfa4cd3f879a5e4c1
[INFO] [stderr]     61:     0x5cdf603a55e5 - main
[INFO] [stderr]     62:     0x7b09e69f31ca - <unknown>
[INFO] [stderr]     63:     0x7b09e69f328b - __libc_start_main
[INFO] [stderr]     64:     0x5cdf6039a315 - _start
[INFO] [stderr]     65:                0x0 - <unknown>
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' (288) panicked at library/core/src/panicking.rs:225:5:
[INFO] [stderr]   panic in a function that cannot unwind
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x5cdf608b9702 - std::backtrace_rs::backtrace::libunwind::trace::hcab59e1e990fdc24
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]      1:     0x5cdf608b9702 - std::backtrace_rs::backtrace::trace_unsynchronized::he24cc57f3d2f47b7
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]      2:     0x5cdf608b9702 - std::sys::backtrace::_print_fmt::hf8d65ede198eeb54
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:66:9
[INFO] [stderr]      3:     0x5cdf608b9702 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h67edf0e4d33c343c
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:39:26
[INFO] [stderr]      4:     0x5cdf608ca9af - core::fmt::rt::Argument::fmt::hef94184842aeafdd
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/rt.rs:173:76
[INFO] [stderr]      5:     0x5cdf608ca9af - core::fmt::write::hcf0c66b48a8fa606
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/mod.rs:1468:25
[INFO] [stderr]      6:     0x5cdf60888ba1 - std::io::default_write_fmt::h1ecb8c7cfa7da481
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:639:11
[INFO] [stderr]      7:     0x5cdf60888ba1 - std::io::Write::write_fmt::h051fe4a9e4fdbf48
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:1954:13
[INFO] [stderr]      8:     0x5cdf60894e62 - std::sys::backtrace::BacktraceLock::print::h07e5435aa717b414
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:42:9
[INFO] [stderr]      9:     0x5cdf60897e3f - std::panicking::default_hook::{{closure}}::h91001850288db5f7
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:301:27
[INFO] [stderr]     10:     0x5cdf60897c99 - std::panicking::default_hook::h2346dbb704ef5512
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:328:9
[INFO] [stderr]     11:     0x5cdf60898575 - std::panicking::panic_with_hook::hd2b063a6090d23a4
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:834:13
[INFO] [stderr]     12:     0x5cdf60898326 - std::panicking::panic_handler::{{closure}}::he666d95f139a333e
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:700:13
[INFO] [stderr]     13:     0x5cdf60894f99 - std::sys::backtrace::__rust_end_short_backtrace::h631ad224854ebee5
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:174:18
[INFO] [stderr]     14:     0x5cdf6087ca6d - __rustc[1d67440d6e82e4f]::rust_begin_unwind
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:698:5
[INFO] [stderr]     15:     0x5cdf608d460d - core::panicking::panic_nounwind_fmt::runtime::hf619e8fd73995337
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:117:22
[INFO] [stderr]     16:     0x5cdf608d460d - core::panicking::panic_nounwind_fmt::hc177e1bd7a48be0d
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/intrinsics/mod.rs:2435:9
[INFO] [stderr]     17:     0x5cdf608d4552 - core::panicking::panic_nounwind::hb39ada2ef7efb5bb
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:225:5
[INFO] [stderr]     18:     0x5cdf608d4767 - core::panicking::panic_cannot_unwind::h54dfea7b8871d4ca
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:337:5
[INFO] [stderr]     19:     0x5cdf604499fc - bindgen::clang::visit_children::hddcc82ba0db87b7e
[INFO] [stderr]     20:     0x7b09e4ccb9d6 - <unknown>
[INFO] [stderr]     21:     0x7b09e4ccbb78 - <unknown>
[INFO] [stderr]     22:     0x7b09e4cca5d9 - <unknown>
[INFO] [stderr]     23:     0x7b09e4cd5fda - clang_visitChildren
[INFO] [stderr]     24:     0x5cdf6067f9ff - clang_sys::clang_visitChildren::hf5395ce1c3aed23d
[INFO] [stderr]     25:     0x5cdf6044e05f - bindgen::clang::Cursor::visit::hd3270b3d822c21f8
[INFO] [stderr]     26:     0x5cdf60434a5d - bindgen::parse::{{closure}}::h272ae255bb6cd9d6
[INFO] [stderr]     27:     0x5cdf605299f6 - bindgen::ir::context::BindgenContext::with_module::h5895f0bb825be76a
[INFO] [stderr]     28:     0x5cdf6043480b - bindgen::parse::hd4ccd4afe4b26f1f
[INFO] [stderr]     29:     0x5cdf6043a3e1 - bindgen::Bindings::generate::h2c2664f2dca01048
[INFO] [stderr]     30:     0x5cdf60434cf5 - bindgen::Builder::generate::hde9305050701ded4
[INFO] [stderr]     31:     0x5cdf6039c210 - build_script_build::create_bindings::hc4ef4d842f258396
[INFO] [stderr]     32:     0x5cdf6039e245 - build_script_build::main::h5552366198df6015
[INFO] [stderr]     33:     0x5cdf603a60d3 - core::ops::function::FnOnce::call_once::he9d82c8258ba1822
[INFO] [stderr]     34:     0x5cdf6039edd6 - std::sys::backtrace::__rust_begin_short_backtrace::h1e4e0c839567812e
[INFO] [stderr]     35:     0x5cdf603a5ad9 - std::rt::lang_start::{{closure}}::he308ae422a6f97da
[INFO] [stderr]     36:     0x5cdf6088a700 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h4967fb77e0dfb65c
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:287:21
[INFO] [stderr]     37:     0x5cdf6088a700 - std::panicking::catch_unwind::do_call::hf7e87675c3e14c23
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stderr]     38:     0x5cdf6088a700 - std::panicking::catch_unwind::h26f0e342004b5114
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stderr]     39:     0x5cdf6088a700 - std::panic::catch_unwind::h9ee33ca17775d897
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stderr]     40:     0x5cdf6088a700 - std::rt::lang_start_internal::{{closure}}::h243ba3495fa13cf8
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/rt.rs:175:24
[INFO] [stderr]     41:     0x5cdf6088a700 - std::panicking::catch_unwind::do_call::h819db0a7788e7259
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stderr]     42:     0x5cdf6088a700 - std::panicking::catch_unwind::h23e08fb4a7b9f405
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stderr]     43:     0x5cdf6088a700 - std::panic::catch_unwind::h7ca3d9eabb6135ff
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stderr]     44:     0x5cdf6088a700 - std::rt::lang_start_internal::h06ad7395f4fda8d7
[INFO] [stderr]                                  at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/rt.rs:171:5
[INFO] [stderr]     45:     0x5cdf603a5ac1 - std::rt::lang_start::hfa4cd3f879a5e4c1
[INFO] [stderr]     46:     0x5cdf603a55e5 - main
[INFO] [stderr]     47:     0x7b09e69f31ca - <unknown>
[INFO] [stderr]     48:     0x7b09e69f328b - __libc_start_main
[INFO] [stderr]     49:     0x5cdf6039a315 - _start
[INFO] [stderr]     50:                0x0 - <unknown>
[INFO] [stderr]   thread caused non-unwinding panic. aborting.
[INFO] running `Command { std: "docker" "inspect" "d328dea1a98416a064c0b5599b04e60b28a7570b546a60c4dcaee3b8f62fa664", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d328dea1a98416a064c0b5599b04e60b28a7570b546a60c4dcaee3b8f62fa664", kill_on_drop: false }`
[INFO] [stdout] d328dea1a98416a064c0b5599b04e60b28a7570b546a60c4dcaee3b8f62fa664
