[INFO] cloning repository https://github.com/russoanto/cpa_openmls_project
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/russoanto/cpa_openmls_project" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frussoanto%2Fcpa_openmls_project", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frussoanto%2Fcpa_openmls_project'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 50593f9b45793f6606fb8ce0c164d2b29fbd2f99
[INFO] checking russoanto/cpa_openmls_project against master#092a284ba0421695f2032c947765429fd7095796 for pr-139763
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frussoanto%2Fcpa_openmls_project" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/russoanto/cpa_openmls_project on toolchain 092a284ba0421695f2032c947765429fd7095796
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+092a284ba0421695f2032c947765429fd7095796" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/russoanto/cpa_openmls_project
[INFO] finished tweaking git repo https://github.com/russoanto/cpa_openmls_project
[INFO] tweaked toml for git repo https://github.com/russoanto/cpa_openmls_project written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/russoanto/cpa_openmls_project already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+092a284ba0421695f2032c947765429fd7095796" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded openmls_traits v0.3.0-pre.3
[INFO] [stderr]   Downloaded rstest_macros v0.17.0
[INFO] [stderr]   Downloaded rstest_reuse v0.5.0
[INFO] [stderr]   Downloaded libcrux-hkdf v0.0.2-alpha.3
[INFO] [stderr]   Downloaded libcrux-intrinsics v0.0.2-alpha.3
[INFO] [stderr]   Downloaded hpke-rs-rust-crypto v0.2.0
[INFO] [stderr]   Downloaded libcrux-hmac v0.0.2-alpha.3
[INFO] [stderr]   Downloaded wasm-bindgen-test-macro v0.3.43
[INFO] [stderr]   Downloaded wasm-bindgen-test v0.3.43
[INFO] [stderr]   Downloaded hax-lib-macros v0.1.0-pre.1
[INFO] [stderr]   Downloaded libcrux-sha3 v0.0.2-alpha.3
[INFO] [stderr]   Downloaded minicov v0.3.5
[INFO] [stderr]   Downloaded openmls_libcrux_crypto v0.1.0-pre.3
[INFO] [stderr]   Downloaded libcrux-ecdh v0.0.2-alpha.3
[INFO] [stderr]   Downloaded p384 v0.13.0
[INFO] [stderr]   Downloaded libcrux v0.0.2-alpha.3
[INFO] [stderr]   Downloaded libcrux-kem v0.0.2-alpha.3
[INFO] [stderr]   Downloaded hax-lib-macros-types v0.1.0-pre.1
[INFO] [stderr]   Downloaded hax-lib v0.1.0-pre.1
[INFO] [stderr]   Downloaded libcrux-platform v0.0.2-alpha.3
[INFO] [stderr]   Downloaded hpke-rs-crypto v0.2.0
[INFO] [stderr]   Downloaded openmls_rust_crypto v0.3.0-pre.2
[INFO] [stderr]   Downloaded openmls v0.6.0-pre.3
[INFO] [stderr]   Downloaded rstest v0.17.0
[INFO] [stderr]   Downloaded libcrux-hacl v0.0.2-alpha.3
[INFO] [stderr]   Downloaded libcrux-ml-kem v0.0.2-alpha.3
[INFO] [stderr]   Downloaded openmls_basic_credential v0.3.0-pre.2
[INFO] [stderr]   Downloaded openmls_memory_storage v0.3.0-pre.3
[INFO] [stderr]   Downloaded openmls_test v0.1.0-pre.2
[INFO] [stderr]   Downloaded hpke-rs v0.2.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+092a284ba0421695f2032c947765429fd7095796" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2c76b664cf9ff3b29f509abd561e995ad8339cd88e3122ecc184da25b1cc0b1c
[INFO] running `Command { std: "docker" "start" "-a" "2c76b664cf9ff3b29f509abd561e995ad8339cd88e3122ecc184da25b1cc0b1c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2c76b664cf9ff3b29f509abd561e995ad8339cd88e3122ecc184da25b1cc0b1c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2c76b664cf9ff3b29f509abd561e995ad8339cd88e3122ecc184da25b1cc0b1c", kill_on_drop: false }`
[INFO] [stdout] 2c76b664cf9ff3b29f509abd561e995ad8339cd88e3122ecc184da25b1cc0b1c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+092a284ba0421695f2032c947765429fd7095796" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a9774afac34bd1d9cdbf28556cf1d88afd56c47781bb102339565629a1525459
[INFO] running `Command { std: "docker" "start" "-a" "a9774afac34bd1d9cdbf28556cf1d88afd56c47781bb102339565629a1525459", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling libc v0.2.158
[INFO] [stderr]     Checking subtle v2.4.1
[INFO] [stderr]    Compiling semver v1.0.23
[INFO] [stderr]     Checking const-oid v0.9.6
[INFO] [stderr]    Compiling serde v1.0.208
[INFO] [stderr]    Compiling cpufeatures v0.2.13
[INFO] [stderr]    Compiling base64ct v1.6.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling typenum v1.17.0
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.93
[INFO] [stderr]    Compiling serde_json v1.0.125
[INFO] [stderr]     Checking base16ct v0.2.0
[INFO] [stderr]    Compiling thiserror v1.0.63
[INFO] [stderr]    Compiling bumpalo v3.16.0
[INFO] [stderr]    Compiling pem-rfc7468 v0.7.0
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling opaque-debug v0.3.1
[INFO] [stderr]    Compiling futures-core v0.3.30
[INFO] [stderr]    Compiling libcrux-intrinsics v0.0.2-alpha.3
[INFO] [stderr]    Compiling wasm-bindgen v0.2.93
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling futures-sink v0.3.30
[INFO] [stderr]    Compiling futures-channel v0.3.30
[INFO] [stderr]    Compiling futures-io v0.3.30
[INFO] [stderr]    Compiling pin-project-lite v0.2.14
[INFO] [stderr]    Compiling pin-utils v0.1.0
[INFO] [stderr]    Compiling slab v0.4.9
[INFO] [stderr]    Compiling futures-task v0.3.30
[INFO] [stderr]    Compiling libcrux-sha3 v0.0.2-alpha.3
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]     Checking itoa v1.0.11
[INFO] [stderr]    Compiling rustc_version v0.4.0
[INFO] [stderr]    Compiling libcrux-ml-kem v0.0.2-alpha.3
[INFO] [stderr]     Checking gimli v0.29.0
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]    Compiling futures-timer v3.0.3
[INFO] [stderr]     Checking miniz_oxide v0.7.4
[INFO] [stderr]     Checking object v0.36.3
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]     Checking bytes v1.7.1
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling curve25519-dalek v4.1.3
[INFO] [stderr]    Compiling rstest_macros v0.17.0
[INFO] [stderr]    Compiling rstest_reuse v0.5.0
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]    Compiling libcrux-platform v0.0.2-alpha.3
[INFO] [stderr]    Compiling libcrux v0.0.2-alpha.3
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling syn v2.0.75
[INFO] [stderr]    Compiling ff v0.13.0
[INFO] [stderr]    Compiling hpke-rs-crypto v0.2.0
[INFO] [stderr]    Compiling group v0.13.0
[INFO] [stderr]    Compiling cc v1.1.13
[INFO] [stderr]    Compiling libcrux-hacl v0.0.2-alpha.3
[INFO] [stderr]    Compiling backtrace v0.3.73
[INFO] [stderr]     Checking addr2line v0.22.0
[INFO] [stderr]    Compiling wasm-bindgen-backend v0.2.93
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling serde_derive v1.0.208
[INFO] [stderr]    Compiling tls_codec_derive v0.4.1
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling thiserror-impl v1.0.63
[INFO] [stderr]    Compiling futures-macro v0.3.30
[INFO] [stderr]    Compiling wasm-bindgen-test-macro v0.3.43
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]    Compiling futures-util v0.3.30
[INFO] [stderr]     Checking der v0.7.9
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.93
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking spki v0.7.3
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking inout v0.1.3
[INFO] [stderr]     Checking pkcs8 v0.10.2
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking hmac v0.12.1
[INFO] [stderr]     Checking hkdf v0.12.4
[INFO] [stderr]    Compiling universal-hash v0.5.1
[INFO] [stderr]     Checking sec1 v0.7.3
[INFO] [stderr]    Compiling cipher v0.4.4
[INFO] [stderr]    Compiling crypto-bigint v0.5.5
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]    Compiling signature v2.2.0
[INFO] [stderr]    Compiling rfc6979 v0.4.0
[INFO] [stderr]    Compiling sha2 v0.10.8
[INFO] [stderr]    Compiling polyval v0.6.2
[INFO] [stderr]    Compiling aead v0.5.2
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.93
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling ghash v0.5.1
[INFO] [stderr]    Compiling aes v0.8.4
[INFO] [stderr]    Compiling chacha20 v0.9.1
[INFO] [stderr]    Compiling ctr v0.9.2
[INFO] [stderr]    Compiling poly1305 v0.8.0
[INFO] [stderr]    Compiling chacha20poly1305 v0.10.1
[INFO] [stderr]     Checking elliptic-curve v0.13.8
[INFO] [stderr]    Compiling aes-gcm v0.10.3
[INFO] [stderr]    Compiling x25519-dalek v2.0.1
[INFO] [stderr]     Checking ed25519 v2.2.3
[INFO] [stderr]     Checking primeorder v0.13.6
[INFO] [stderr]     Checking ecdsa v0.16.9
[INFO] [stderr]    Compiling ed25519-dalek v2.1.1
[INFO] [stderr]     Checking js-sys v0.3.70
[INFO] [stderr]     Checking console_error_panic_hook v0.1.7
[INFO] [stderr]     Checking p256 v0.13.2
[INFO] [stderr]     Checking p384 v0.13.0
[INFO] [stderr]    Compiling futures-executor v0.3.30
[INFO] [stderr]    Compiling futures v0.3.30
[INFO] [stderr]    Compiling rstest v0.17.0
[INFO] [stderr]     Checking hpke-rs-rust-crypto v0.2.0
[INFO] [stderr]     Checking tls_codec v0.4.1
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking openmls_traits v0.3.0-pre.3
[INFO] [stderr]     Checking hpke-rs v0.2.0
[INFO] [stderr]     Checking openmls_memory_storage v0.3.0-pre.3
[INFO] [stderr]     Checking openmls_basic_credential v0.3.0-pre.2
[INFO] [stderr]     Checking openmls_rust_crypto v0.3.0-pre.2
[INFO] [stderr]     Checking wasm-bindgen-futures v0.4.43
[INFO] [stderr]     Checking wasm-bindgen-test v0.3.43
[INFO] [stderr]    Compiling openmls_test v0.1.0-pre.2
[INFO] [stderr]     Checking openmls v0.6.0-pre.3
[INFO] [stderr] error: could not compile `openmls` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/092a284ba0421695f2032c947765429fd7095796/bin/rustc --crate-name openmls --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/openmls-0.6.0-pre.3/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="backtrace"' --cfg 'feature="openmls_rust_crypto"' --cfg 'feature="test-utils"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("backtrace", "content-debug", "crypto-debug", "crypto-subtle", "js", "libcrux-provider", "openmls_rust_crypto", "test-utils"))' -C metadata=6fc536aeb3d21ba4 -C extra-filename=-c85495b5d465ffda --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern backtrace=/opt/rustwide/target/debug/deps/libbacktrace-253d610ae224d4ef.rmeta --extern itertools=/opt/rustwide/target/debug/deps/libitertools-7e06858be4fec05b.rmeta --extern log=/opt/rustwide/target/debug/deps/liblog-5bba7294d90dc890.rmeta --extern once_cell=/opt/rustwide/target/debug/deps/libonce_cell-9a4a314c4444a257.rmeta --extern openmls_basic_credential=/opt/rustwide/target/debug/deps/libopenmls_basic_credential-5672ac44ff779484.rmeta --extern openmls_memory_storage=/opt/rustwide/target/debug/deps/libopenmls_memory_storage-213e3abbe606cfd7.rmeta --extern openmls_rust_crypto=/opt/rustwide/target/debug/deps/libopenmls_rust_crypto-5d728d003d314f35.rmeta --extern openmls_test=/opt/rustwide/target/debug/deps/libopenmls_test-1ffc8f2830855596.so --extern openmls_traits=/opt/rustwide/target/debug/deps/libopenmls_traits-84d65e693e3ff6f2.rmeta --extern rand=/opt/rustwide/target/debug/deps/librand-3944621207c6f16c.rmeta --extern rayon=/opt/rustwide/target/debug/deps/librayon-eaf726171aa97dcb.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-a1eec6c9ef18cc2d.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-3bdce78d17a59c80.rmeta --extern thiserror=/opt/rustwide/target/debug/deps/libthiserror-a1ffa13289a15622.rmeta --extern tls_codec=/opt/rustwide/target/debug/deps/libtls_codec-995765888473043f.rmeta --extern wasm_bindgen_test=/opt/rustwide/target/debug/deps/libwasm_bindgen_test-230103f230c66c2b.rmeta --cap-lints allow --cap-lints=forbid` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] warning: libcrux-hacl@0.0.2-alpha.3: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/src/Lib_Memzero0.c: In function 'Lib_Memzero0_memzero0':
[INFO] [stderr] warning: libcrux-hacl@0.0.2-alpha.3: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/src/Lib_Memzero0.c:48:6: warning: #warning "Your platform does not support any safe implementation of memzero -- consider a pull request!" [-Wcpp]
[INFO] [stderr] warning: libcrux-hacl@0.0.2-alpha.3:    48 |     #warning "Your platform does not support any safe implementation of memzero -- consider a pull request!"
[INFO] [stderr] warning: libcrux-hacl@0.0.2-alpha.3:       |      ^~~~~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-alpha.3: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/src/Lib_Memzero0.c:36:10: warning: unused variable 'len_' [-Wunused-variable]
[INFO] [stderr] warning: libcrux-hacl@0.0.2-alpha.3:    36 |   size_t len_ = (size_t) len;
[INFO] [stderr] warning: libcrux-hacl@0.0.2-alpha.3:       |          ^~~~
[INFO] [stderr] warning: libcrux-hacl@0.0.2-alpha.3: cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr] warning: libcrux-hacl@0.0.2-alpha.3: compilation terminated.
[INFO] [stderr] warning: libcrux-hacl@0.0.2-alpha.3: ToolExecError: Command "cc" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/include" "-I" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/karamel/include" "-I" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/karamel/krmllib/dist/minimal" "-Wall" "-Wextra" "-DRELOCATABLE=1" "-DHACL_CAN_COMPILE_UINT128=1" "-DHACL_CAN_COMPILE_VALE=1" "-DHACL_CAN_COMPILE_INTRINSICS=1" "-DTARGET_ARCHITECTURE=0" "-DLINUX_NO_EXPLICIT_BZERO=1" "-DHACL_CAN_COMPILE_VEC128=1" "-DHACL_CAN_COMPILE_VEC256=1" "-DHACL_CAN_COMPILE_INLINE_ASM=1" "-DHACL_CAN_COMPILE_VALE=1" "-o" "/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out/a5772476d29bc12b-Hacl_Bignum256.o" "-c" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/src/Hacl_Bignum256.c" with args cc did not execute successfully (status code exit status: 1).
[INFO] [stderr] error: failed to run custom build command for `libcrux-hacl v0.0.2-alpha.3`
[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/libcrux-hacl-cfa182d786305726/build-script-build` (exit status: 1)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rerun-if-changed=c
[INFO] [stderr]   OUT_DIR = Some(/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out)
[INFO] [stderr]   TARGET = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   HOST = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_x86_64-unknown-linux-gnu
[INFO] [stderr]   CC_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_x86_64_unknown_linux_gnu
[INFO] [stderr]   CC_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CC
[INFO] [stderr]   HOST_CC = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC
[INFO] [stderr]   CC = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_ENABLE_DEBUG_OUTPUT
[INFO] [stderr]   RUSTC_WRAPPER = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   DEBUG = Some(true)
[INFO] [stderr]   CARGO_CFG_TARGET_FEATURE = Some(fxsr,sse,sse2,x87)
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64-unknown-linux-gnu
[INFO] [stderr]   AR_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64_unknown_linux_gnu
[INFO] [stderr]   AR_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_AR
[INFO] [stderr]   HOST_AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR
[INFO] [stderr]   AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   ARFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   ARFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_ARFLAGS
[INFO] [stderr]   HOST_ARFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS
[INFO] [stderr]   ARFLAGS = None
[INFO] [stderr]   cargo:rustc-link-lib=static=hacl_128
[INFO] [stderr]   cargo:rustc-link-search=native=/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out
[INFO] [stderr]   OUT_DIR = Some(/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out)
[INFO] [stderr]   TARGET = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   HOST = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_x86_64-unknown-linux-gnu
[INFO] [stderr]   CC_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_x86_64_unknown_linux_gnu
[INFO] [stderr]   CC_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CC
[INFO] [stderr]   HOST_CC = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC
[INFO] [stderr]   CC = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_ENABLE_DEBUG_OUTPUT
[INFO] [stderr]   RUSTC_WRAPPER = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   DEBUG = Some(true)
[INFO] [stderr]   CARGO_CFG_TARGET_FEATURE = Some(fxsr,sse,sse2,x87)
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64-unknown-linux-gnu
[INFO] [stderr]   AR_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64_unknown_linux_gnu
[INFO] [stderr]   AR_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_AR
[INFO] [stderr]   HOST_AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR
[INFO] [stderr]   AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   ARFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   ARFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_ARFLAGS
[INFO] [stderr]   HOST_ARFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS
[INFO] [stderr]   ARFLAGS = None
[INFO] [stderr]   cargo:rustc-link-lib=static=hacl_256
[INFO] [stderr]   cargo:rustc-link-search=native=/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out
[INFO] [stderr]   OUT_DIR = Some(/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out)
[INFO] [stderr]   TARGET = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   HOST = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_x86_64-unknown-linux-gnu
[INFO] [stderr]   CC_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_x86_64_unknown_linux_gnu
[INFO] [stderr]   CC_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CC
[INFO] [stderr]   HOST_CC = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC
[INFO] [stderr]   CC = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_ENABLE_DEBUG_OUTPUT
[INFO] [stderr]   RUSTC_WRAPPER = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   DEBUG = Some(true)
[INFO] [stderr]   CARGO_CFG_TARGET_FEATURE = Some(fxsr,sse,sse2,x87)
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64-unknown-linux-gnu
[INFO] [stderr]   AR_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64_unknown_linux_gnu
[INFO] [stderr]   AR_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_AR
[INFO] [stderr]   HOST_AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR
[INFO] [stderr]   AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   ARFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   ARFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_ARFLAGS
[INFO] [stderr]   HOST_ARFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS
[INFO] [stderr]   ARFLAGS = None
[INFO] [stderr]   cargo:rustc-link-lib=static=hacl_curve25519
[INFO] [stderr]   cargo:rustc-link-search=native=/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out
[INFO] [stderr]   OUT_DIR = Some(/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out)
[INFO] [stderr]   TARGET = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   HOST = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_x86_64-unknown-linux-gnu
[INFO] [stderr]   CC_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_x86_64_unknown_linux_gnu
[INFO] [stderr]   CC_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CC
[INFO] [stderr]   HOST_CC = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC
[INFO] [stderr]   CC = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_ENABLE_DEBUG_OUTPUT
[INFO] [stderr]   RUSTC_WRAPPER = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   DEBUG = Some(true)
[INFO] [stderr]   CARGO_CFG_TARGET_FEATURE = Some(fxsr,sse,sse2,x87)
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64-unknown-linux-gnu
[INFO] [stderr]   AR_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64_unknown_linux_gnu
[INFO] [stderr]   AR_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_AR
[INFO] [stderr]   HOST_AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR
[INFO] [stderr]   AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   ARFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   ARFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_ARFLAGS
[INFO] [stderr]   HOST_ARFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS
[INFO] [stderr]   ARFLAGS = None
[INFO] [stderr]   cargo:rustc-link-lib=static=vale_aesgcm
[INFO] [stderr]   cargo:rustc-link-search=native=/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out
[INFO] [stderr]   OUT_DIR = Some(/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out)
[INFO] [stderr]   TARGET = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   HOST = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_x86_64-unknown-linux-gnu
[INFO] [stderr]   CC_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_x86_64_unknown_linux_gnu
[INFO] [stderr]   CC_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CC
[INFO] [stderr]   HOST_CC = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC
[INFO] [stderr]   CC = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_ENABLE_DEBUG_OUTPUT
[INFO] [stderr]   RUSTC_WRAPPER = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   DEBUG = Some(true)
[INFO] [stderr]   CARGO_CFG_TARGET_FEATURE = Some(fxsr,sse,sse2,x87)
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:warning=/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/src/Lib_Memzero0.c: In function 'Lib_Memzero0_memzero0':
[INFO] [stderr]   cargo:warning=/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/src/Lib_Memzero0.c:48:6: warning: #warning "Your platform does not support any safe implementation of memzero -- consider a pull request!" [-Wcpp]
[INFO] [stderr]   cargo:warning=   48 |     #warning "Your platform does not support any safe implementation of memzero -- consider a pull request!"
[INFO] [stderr]   cargo:warning=      |      ^~~~~~~
[INFO] [stderr]   cargo:warning=/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/src/Lib_Memzero0.c:36:10: warning: unused variable 'len_' [-Wunused-variable]
[INFO] [stderr]   cargo:warning=   36 |   size_t len_ = (size_t) len;
[INFO] [stderr]   cargo:warning=      |          ^~~~
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:warning=cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "cc" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/include" "-I" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/karamel/include" "-I" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/karamel/krmllib/dist/minimal" "-Wall" "-Wextra" "-DRELOCATABLE=1" "-DHACL_CAN_COMPILE_UINT128=1" "-DHACL_CAN_COMPILE_VALE=1" "-DHACL_CAN_COMPILE_INTRINSICS=1" "-DTARGET_ARCHITECTURE=0" "-DLINUX_NO_EXPLICIT_BZERO=1" "-DHACL_CAN_COMPILE_VEC128=1" "-DHACL_CAN_COMPILE_VEC256=1" "-DHACL_CAN_COMPILE_INLINE_ASM=1" "-DHACL_CAN_COMPILE_VALE=1" "-o" "/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out/a5772476d29bc12b-Hacl_Bignum256.o" "-c" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/src/Hacl_Bignum256.c" with args cc did not execute successfully (status code exit status: 1).
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   error occurred: Command "cc" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/include" "-I" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/karamel/include" "-I" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/karamel/krmllib/dist/minimal" "-Wall" "-Wextra" "-DRELOCATABLE=1" "-DHACL_CAN_COMPILE_UINT128=1" "-DHACL_CAN_COMPILE_VALE=1" "-DHACL_CAN_COMPILE_INTRINSICS=1" "-DTARGET_ARCHITECTURE=0" "-DLINUX_NO_EXPLICIT_BZERO=1" "-DHACL_CAN_COMPILE_VEC128=1" "-DHACL_CAN_COMPILE_VEC256=1" "-DHACL_CAN_COMPILE_INLINE_ASM=1" "-DHACL_CAN_COMPILE_VALE=1" "-o" "/opt/rustwide/target/debug/build/libcrux-hacl-c1652efef18ad0eb/out/a5772476d29bc12b-Hacl_Bignum256.o" "-c" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-hacl-0.0.2-alpha.3/c/src/Hacl_Bignum256.c" with args cc did not execute successfully (status code exit status: 1).
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] running `Command { std: "docker" "inspect" "a9774afac34bd1d9cdbf28556cf1d88afd56c47781bb102339565629a1525459", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a9774afac34bd1d9cdbf28556cf1d88afd56c47781bb102339565629a1525459", kill_on_drop: false }`
[INFO] [stdout] a9774afac34bd1d9cdbf28556cf1d88afd56c47781bb102339565629a1525459