[INFO] cloning repository https://github.com/fengzhizi319/zirgen
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/fengzhizi319/zirgen" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffengzhizi319%2Fzirgen", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffengzhizi319%2Fzirgen'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4a18a4d5980644c1ab69803d8adf7b75ac785c31
[INFO] checking fengzhizi319/zirgen/4a18a4d5980644c1ab69803d8adf7b75ac785c31 against master#46424fb5054f211ec836c5c03159f92e46bb35ac for pr-139042
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffengzhizi319%2Fzirgen" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/fengzhizi319/zirgen on toolchain 46424fb5054f211ec836c5c03159f92e46bb35ac
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+46424fb5054f211ec836c5c03159f92e46bb35ac" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-1-tc1/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-1-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/fengzhizi319/zirgen
[INFO] finished tweaking git repo https://github.com/fengzhizi319/zirgen
[INFO] tweaked toml for git repo https://github.com/fengzhizi319/zirgen written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/fengzhizi319/zirgen 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" "+46424fb5054f211ec836c5c03159f92e46bb35ac" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating git repository `https://github.com/risc0/risc0.git`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded addchain v0.2.0
[INFO] [stderr]   Downloaded serial_test_derive v3.2.0
[INFO] [stderr]   Downloaded ff_derive v0.13.0
[INFO] [stderr]   Downloaded serial_test v3.2.0
[INFO] [stderr]   Downloaded nvtx v1.3.0
[INFO] [stderr]   Downloaded puffin v0.19.1
[INFO] [stderr]   Downloaded sdd v3.0.4
[INFO] [stderr]   Downloaded scc v2.2.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4b26683ee3c49f365255c425c23003cbf4366de097804722c29c5bbbee3624d2" "/opt/rustwide/cargo-home/bin/cargo" "+46424fb5054f211ec836c5c03159f92e46bb35ac" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c7ad4ad7ad2496d99c2017a79dde1eca9ea854ecdd3760dd033f00e72afb4da2
[INFO] running `Command { std: "docker" "start" "-a" "c7ad4ad7ad2496d99c2017a79dde1eca9ea854ecdd3760dd033f00e72afb4da2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c7ad4ad7ad2496d99c2017a79dde1eca9ea854ecdd3760dd033f00e72afb4da2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c7ad4ad7ad2496d99c2017a79dde1eca9ea854ecdd3760dd033f00e72afb4da2", kill_on_drop: false }`
[INFO] [stdout] c7ad4ad7ad2496d99c2017a79dde1eca9ea854ecdd3760dd033f00e72afb4da2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4b26683ee3c49f365255c425c23003cbf4366de097804722c29c5bbbee3624d2" "/opt/rustwide/cargo-home/bin/cargo" "+46424fb5054f211ec836c5c03159f92e46bb35ac" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a4d2c03d3ebfa7610ffd94b4f0baade64c2b766c49f1b65efcd636c5fadfe48b
[INFO] running `Command { std: "docker" "start" "-a" "a4d2c03d3ebfa7610ffd94b4f0baade64c2b766c49f1b65efcd636c5fadfe48b", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.92
[INFO] [stderr]    Compiling autocfg v1.4.0
[INFO] [stderr]    Compiling unicode-ident v1.0.14
[INFO] [stderr]    Compiling libc v0.2.167
[INFO] [stderr]    Compiling typenum v1.17.0
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]     Checking once_cell v1.20.2
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]    Compiling rustix v0.38.41
[INFO] [stderr]    Compiling linux-raw-sys v0.4.14
[INFO] [stderr]    Compiling option-ext v0.2.0
[INFO] [stderr]    Compiling glob v0.3.2
[INFO] [stderr]     Checking pin-project-lite v0.2.15
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking smallvec v1.13.2
[INFO] [stderr]    Compiling bitflags v2.6.0
[INFO] [stderr]    Compiling cpufeatures v0.2.16
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling fastrand v2.2.0
[INFO] [stderr]    Compiling anyhow v1.0.95
[INFO] [stderr]    Compiling hashbrown v0.15.2
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]     Checking log v0.4.25
[INFO] [stderr]    Compiling hex v0.4.3
[INFO] [stderr]     Checking scopeguard v1.2.0
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]     Checking utf8parse v0.2.2
[INFO] [stderr]    Compiling winnow v0.6.20
[INFO] [stderr]     Checking regex-syntax v0.8.5
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling indexmap v2.7.0
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling toml_datetime v0.6.8
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]     Checking crossbeam-deque v0.8.5
[INFO] [stderr]     Checking anstyle-parse v0.2.6
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]     Checking colorchoice v1.0.3
[INFO] [stderr]     Checking anstyle v1.0.10
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.1
[INFO] [stderr]     Checking anstyle-query v1.1.2
[INFO] [stderr]     Checking const-oid v0.9.6
[INFO] [stderr]    Compiling cfg_aliases v0.2.1
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]    Compiling borsh v1.5.3
[INFO] [stderr]     Checking anstream v0.6.18
[INFO] [stderr]     Checking regex-automata v0.4.9
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]    Compiling toml_edit v0.22.22
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking futures-core v0.3.31
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]    Compiling dirs-sys v0.4.1
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling cc v1.2.9
[INFO] [stderr]    Compiling directories v5.0.1
[INFO] [stderr]    Compiling num-bigint v0.3.3
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]    Compiling tempfile v3.14.0
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]     Checking parking_lot v0.12.3
[INFO] [stderr]    Compiling slab v0.4.9
[INFO] [stderr]    Compiling matrixmultiply v0.3.9
[INFO] [stderr]    Compiling sha2 v0.10.8
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling serde v1.0.216
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]     Checking futures-sink v0.3.31
[INFO] [stderr]     Checking rawpointer v0.2.1
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking futures-channel v0.3.31
[INFO] [stderr]     Checking puffin v0.19.1
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]     Checking regex v1.11.1
[INFO] [stderr]    Compiling proc-macro-crate v3.2.0
[INFO] [stderr]     Checking pin-utils v0.1.0
[INFO] [stderr]     Checking futures-io v0.3.31
[INFO] [stderr]    Compiling rustversion v1.0.18
[INFO] [stderr]     Checking regex-syntax v0.6.29
[INFO] [stderr]    Compiling risc0-zkp v1.3.0-alpha.1 (https://github.com/risc0/risc0.git?rev=17ed98c3243258ad912fd52a289fef6725f17c90#17ed98c3)
[INFO] [stderr]     Checking futures-task v0.3.31
[INFO] [stderr]     Checking env_filter v0.1.2
[INFO] [stderr]     Checking futures-util v0.3.31
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]     Checking overload v0.1.1
[INFO] [stderr]     Checking hex-literal v0.4.1
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]     Checking humantime v2.1.0
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking ndarray v0.16.1
[INFO] [stderr]     Checking nu-ansi-term v0.46.0
[INFO] [stderr]     Checking env_logger v0.11.6
[INFO] [stderr]    Compiling addchain v0.2.0
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking thread_local v1.1.8
[INFO] [stderr]     Checking strsim v0.11.1
[INFO] [stderr]     Checking clap_lex v0.7.4
[INFO] [stderr]    Compiling risc0-build-kernel v1.3.0-alpha.1 (https://github.com/risc0/risc0.git?rev=17ed98c3243258ad912fd52a289fef6725f17c90#17ed98c3)
[INFO] [stderr]     Checking sdd v3.0.4
[INFO] [stderr]     Checking clap_builder v4.5.26
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking diff v0.1.13
[INFO] [stderr]     Checking yansi v1.0.1
[INFO] [stderr]     Checking scc v2.2.5
[INFO] [stderr]     Checking pretty_assertions v1.4.1
[INFO] [stderr]     Checking matchers v0.1.0
[INFO] [stderr]     Checking futures-executor v0.3.31
[INFO] [stderr]     Checking futures v0.3.31
[INFO] [stderr]    Compiling nvtx v1.3.0
[INFO] [stderr]    Compiling risc0-circuit-fib v0.1.0 (/opt/rustwide/workdir/zirgen/circuit/fib)
[INFO] [stderr]    Compiling risc0-sys v1.3.0-alpha.1 (https://github.com/risc0/risc0.git?rev=17ed98c3243258ad912fd52a289fef6725f17c90#17ed98c3)
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp: In function 'risc0::Fp risc0::circuit::fib::step_compute_accum(void*, void (*)(void*, const char*, const char*, const risc0::Fp*, size_t, risc0::Fp*, size_t), size_t, size_t, risc0::Fp**)':
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp:33:10: warning: unused variable 'mask' [-Wunused-variable]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    33 |   size_t mask = steps - 1;
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |          ^~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp:32:29: warning: unused parameter 'ctx' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_compute_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                       ~~~~~~^~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp:32:45: warning: unused parameter 'host' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_compute_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                                  ~~~~~~~~~~~^~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp:32:72: warning: unused parameter 'cycle' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_compute_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                                                                 ~~~~~~~^~~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp:32:84: warning: unused parameter 'args' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_compute_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                                                                               ~~~~~^~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_exec.cpp: In function 'risc0::Fp risc0::circuit::fib::step_exec(void*, void (*)(void*, const char*, const char*, const risc0::Fp*, size_t, risc0::Fp*, size_t), size_t, size_t, risc0::Fp**)':
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_exec.cpp:32:20: warning: unused parameter 'ctx' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_exec(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |              ~~~~~~^~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_exec.cpp:32:36: warning: unused parameter 'host' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_exec(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                         ~~~~~~~~~~~^~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_accum.cpp: In function 'risc0::Fp risc0::circuit::fib::step_verify_accum(void*, void (*)(void*, const char*, const char*, const risc0::Fp*, size_t, risc0::Fp*, size_t), size_t, size_t, risc0::Fp**)':
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_accum.cpp:32:28: warning: unused parameter 'ctx' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_verify_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                      ~~~~~~^~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_accum.cpp:32:44: warning: unused parameter 'host' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_verify_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                                 ~~~~~~~~~~~^~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp: In function 'risc0::Fp risc0::circuit::fib::step_verify_bytes(void*, void (*)(void*, const char*, const char*, const risc0::Fp*, size_t, risc0::Fp*, size_t), size_t, size_t, risc0::Fp**)':
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp:33:10: warning: unused variable 'mask' [-Wunused-variable]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    33 |   size_t mask = steps - 1;
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |          ^~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp:32:28: warning: unused parameter 'ctx' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_verify_bytes(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                      ~~~~~~^~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp:32:44: warning: unused parameter 'host' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_verify_bytes(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                                 ~~~~~~~~~~~^~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp:32:71: warning: unused parameter 'cycle' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_verify_bytes(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                                                                ~~~~~~~^~~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp:32:83: warning: unused parameter 'args' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_verify_bytes(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                                                                              ~~~~~^~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp: In function 'risc0::Fp risc0::circuit::fib::step_verify_mem(void*, void (*)(void*, const char*, const char*, const risc0::Fp*, size_t, risc0::Fp*, size_t), size_t, size_t, risc0::Fp**)':
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp:33:10: warning: unused variable 'mask' [-Wunused-variable]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    33 |   size_t mask = steps - 1;
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |          ^~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp:32:26: warning: unused parameter 'ctx' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_verify_mem(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                    ~~~~~~^~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp:32:42: warning: unused parameter 'host' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_verify_mem(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                               ~~~~~~~~~~~^~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp:32:69: warning: unused parameter 'cycle' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_verify_mem(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                                                              ~~~~~~~^~~~~
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp:32:81: warning: unused parameter 'args' [-Wunused-parameter]
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:    32 | Fp step_verify_mem(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) {
[INFO] [stderr] warning: risc0-circuit-fib@0.1.0:       |                                                                            ~~~~~^~~~
[INFO] [stderr]    Compiling ff_derive v0.13.0
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling tracing-attributes v0.1.28
[INFO] [stderr]    Compiling bytemuck_derive v1.8.0
[INFO] [stderr]    Compiling stability v0.2.1
[INFO] [stderr]    Compiling serde_derive v1.0.216
[INFO] [stderr]    Compiling borsh-derive v1.5.3
[INFO] [stderr]    Compiling clap_derive v4.5.24
[INFO] [stderr]    Compiling strum_macros v0.26.4
[INFO] [stderr]    Compiling test-log-macros v0.2.16
[INFO] [stderr]    Compiling serial_test_derive v3.2.0
[INFO] [stderr]     Checking ff v0.13.0
[INFO] [stderr]     Checking risc0-zkvm-platform v1.3.0-alpha.1 (https://github.com/risc0/risc0.git?rev=17ed98c3243258ad912fd52a289fef6725f17c90#17ed98c3)
[INFO] [stderr]     Checking serial_test v3.2.0
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking bytemuck v1.21.0
[INFO] [stderr]     Checking risc0-core v1.3.0-alpha.1 (https://github.com/risc0/risc0.git?rev=17ed98c3243258ad912fd52a289fef6725f17c90#17ed98c3)
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]     Checking tracing-subscriber v0.3.19
[INFO] [stderr]     Checking clap v4.5.26
[INFO] [stderr]     Checking strum v0.26.3
[INFO] [stderr]     Checking test-log v0.2.16
[INFO] [stderr]     Checking risc0-zirgen-dsl v0.1.0 (/opt/rustwide/workdir/zirgen/dsl)
[INFO] [stdout] error: cannot find macro `invoke_extern` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:383:19
[INFO] [stdout]     |
[INFO] [stdout] 383 |     let x0: Val = invoke_extern!(ctx, get_cycle);
[INFO] [stdout]     |                   ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `invoke_extern` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:376:5
[INFO] [stdout]     |
[INFO] [stdout] 376 |     invoke_extern!(ctx, log, arg0, arg1);
[INFO] [stdout]     |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Buffers` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | / define_buffer_list! {
[INFO] [stdout] 19 | |     all: [accum, code, data, global, mix,], // 所有缓冲区
[INFO] [stdout] 20 | |     rows: [accum, code, data,], // 行缓冲区
[INFO] [stdout] 21 | |     taps: [accum, code, data,], // Tap 缓冲区
[INFO] [stdout] 22 | |     globals: [global, mix,], // 全局缓冲区
[INFO] [stdout] 23 | | }
[INFO] [stdout]    | |_^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_buffer_list` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::Buffers;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Buffers` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | / define_buffer_list! {
[INFO] [stdout] 19 | |     all: [accum, code, data, global, mix,], // 所有缓冲区
[INFO] [stdout] 20 | |     rows: [accum, code, data,], // 行缓冲区
[INFO] [stdout] 21 | |     taps: [accum, code, data,], // Tap 缓冲区
[INFO] [stdout] 22 | |     globals: [global, mix,], // 全局缓冲区
[INFO] [stdout] 23 | | }
[INFO] [stdout]    | |_^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_buffer_list` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::Buffers;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Buffers` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | / define_buffer_list! {
[INFO] [stdout] 19 | |     all: [accum, code, data, global, mix,], // 所有缓冲区
[INFO] [stdout] 20 | |     rows: [accum, code, data,], // 行缓冲区
[INFO] [stdout] 21 | |     taps: [accum, code, data,], // Tap 缓冲区
[INFO] [stdout] 22 | |     globals: [global, mix,], // 全局缓冲区
[INFO] [stdout] 23 | | }
[INFO] [stdout]    | |_^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_buffer_list` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::Buffers;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BufferSpec` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:26:1
[INFO] [stdout]    |
[INFO] [stdout] 26 | define_tap_buffer! {accum, /*count=*/1, /*groupId=*/0}
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::BufferSpec;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `BufferSpec` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:26:1
[INFO] [stdout]    |
[INFO] [stdout] 26 | define_tap_buffer! {accum, /*count=*/1, /*groupId=*/0}
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::BufferSpec;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BufferSpec` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:27:1
[INFO] [stdout]    |
[INFO] [stdout] 27 | define_tap_buffer! {code, /*count=*/1, /*groupId=*/1}
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::BufferSpec;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `BufferSpec` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:27:1
[INFO] [stdout]    |
[INFO] [stdout] 27 | define_tap_buffer! {code, /*count=*/1, /*groupId=*/1}
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::BufferSpec;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BufferSpec` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:28:1
[INFO] [stdout]    |
[INFO] [stdout] 28 | define_tap_buffer! {data, /*count=*/8, /*groupId=*/2}
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::BufferSpec;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `BufferSpec` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:28:1
[INFO] [stdout]    |
[INFO] [stdout] 28 | define_tap_buffer! {data, /*count=*/8, /*groupId=*/2}
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::BufferSpec;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BufferSpec` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:31:1
[INFO] [stdout]    |
[INFO] [stdout] 31 | define_global_buffer! {global, /*count=*/5}
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_global_buffer` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::BufferSpec;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `BufferSpec` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:31:1
[INFO] [stdout]    |
[INFO] [stdout] 31 | define_global_buffer! {global, /*count=*/5}
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_global_buffer` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::BufferSpec;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BufferSpec` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:32:1
[INFO] [stdout]    |
[INFO] [stdout] 32 | define_global_buffer! {mix, /*count=*/4}
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_global_buffer` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::BufferSpec;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `BufferSpec` in this scope
[INFO] [stdout]   --> zirgen/dsl/examples/fibonacci.rs:32:1
[INFO] [stdout]    |
[INFO] [stdout] 32 | define_global_buffer! {mix, /*count=*/4}
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `define_global_buffer` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use risc0_zirgen_dsl::BufferSpec;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:286:30
[INFO] [stdout]     |
[INFO] [stdout] 286 | pub fn exec_inv<'a>(ctx: &'a ExecContext, arg0: Val) -> Result<Val> {
[INFO] [stdout]     |                              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:291:30
[INFO] [stdout]     |
[INFO] [stdout] 291 | pub fn exec_isz<'a>(ctx: &'a ExecContext, arg0: Val) -> Result<Val> {
[INFO] [stdout]     |                              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:296:30
[INFO] [stdout]     |
[INFO] [stdout] 296 | pub fn exec_add<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result<Val> {
[INFO] [stdout]     |                              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:301:30
[INFO] [stdout]     |
[INFO] [stdout] 301 | pub fn exec_sub<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result<Val> {
[INFO] [stdout]     |                              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:306:30
[INFO] [stdout]     |
[INFO] [stdout] 306 | pub fn exec_mul<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result<Val> {
[INFO] [stdout]     |                              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:312:14
[INFO] [stdout]     |
[INFO] [stdout] 312 |     ctx: &'a ExecContext,
[INFO] [stdout]     |              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:325:14
[INFO] [stdout]     |
[INFO] [stdout] 325 |     ctx: &'a ExecContext,
[INFO] [stdout]     |              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:338:36
[INFO] [stdout]     |
[INFO] [stdout] 338 | pub fn exec_component<'a>(ctx: &'a ExecContext) -> Result<ComponentStruct> {
[INFO] [stdout]     |                                    ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:344:14
[INFO] [stdout]     |
[INFO] [stdout] 344 |     ctx: &'a ExecContext,
[INFO] [stdout]     |              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:359:14
[INFO] [stdout]     |
[INFO] [stdout] 359 |     ctx: &'a ExecContext,
[INFO] [stdout]     |              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:374:30
[INFO] [stdout]     |
[INFO] [stdout] 374 | pub fn exec_log<'a>(ctx: &'a ExecContext, arg0: &str, arg1: &[Val]) -> Result<ComponentStruct> {
[INFO] [stdout]     |                              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:381:36
[INFO] [stdout]     |
[INFO] [stdout] 381 | pub fn exec_get_cycle<'a>(ctx: &'a ExecContext) -> Result<GetCycleStruct> {
[INFO] [stdout]     |                                    ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:389:14
[INFO] [stdout]     |
[INFO] [stdout] 389 |     ctx: &'a ExecContext,
[INFO] [stdout]     |              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:418:14
[INFO] [stdout]     |
[INFO] [stdout] 418 |     ctx: &'a ExecContext,
[INFO] [stdout]     |              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:471:14
[INFO] [stdout]     |
[INFO] [stdout] 471 |     ctx: &'a ExecContext,
[INFO] [stdout]     |              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:575:14
[INFO] [stdout]     |
[INFO] [stdout] 575 |     ctx: &'a ExecContext,
[INFO] [stdout]     |              ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ValidityTapsContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:587:14
[INFO] [stdout]     |
[INFO] [stdout] 587 |     ctx: &'a ValidityTapsContext,
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ValidityRegsContext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:668:14
[INFO] [stdout]     |
[INFO] [stdout] 668 |     ctx: &'a ValidityRegsContext,
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `make_taps`
[INFO] [stdout]  --> zirgen/dsl/examples/fibonacci.rs:4:43
[INFO] [stdout]   |
[INFO] [stdout] 4 | use risc0_zirgen_dsl::codegen::taps::{Tap,make_taps};
[INFO] [stdout]   |                                           ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `layout_map`
[INFO] [stdout]  --> zirgen/dsl/examples/fibonacci.rs:5:85
[INFO] [stdout]   |
[INFO] [stdout] 5 | use risc0_zirgen_dsl::codegen::_support::{make_tap,is_true,Index,trivial_constraint,layout_map,eqz,isz,get};
[INFO] [stdout]   |                                                                                     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `_globalLayout` should have an upper camel case name
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:131:12
[INFO] [stdout]     |
[INFO] [stdout] 131 | pub struct _globalLayout {
[INFO] [stdout]     |            ^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `GlobalLayout`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_camel_case_types)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:297:15
[INFO] [stdout]     |
[INFO] [stdout] 297 |     return Ok((arg0 + arg1));
[INFO] [stdout]     |               ^           ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 297 -     return Ok((arg0 + arg1));
[INFO] [stdout] 297 +     return Ok(arg0 + arg1);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:302:15
[INFO] [stdout]     |
[INFO] [stdout] 302 |     return Ok((arg0 - arg1));
[INFO] [stdout]     |               ^           ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 302 -     return Ok((arg0 - arg1));
[INFO] [stdout] 302 +     return Ok(arg0 - arg1);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:307:15
[INFO] [stdout]     |
[INFO] [stdout] 307 |     return Ok((arg0 * arg1));
[INFO] [stdout]     |               ^           ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 307 -     return Ok((arg0 * arg1));
[INFO] [stdout] 307 +     return Ok(arg0 * arg1);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:365:10
[INFO] [stdout]     |
[INFO] [stdout] 365 |     eqz!((arg0 - x2._super), "Reg(<preamble>:5)");
[INFO] [stdout]     |          ^                ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 365 -     eqz!((arg0 - x2._super), "Reg(<preamble>:5)");
[INFO] [stdout] 365 +     eqz!(arg0 - x2._super, "Reg(<preamble>:5)");
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:395:56
[INFO] [stdout]     |
[INFO] [stdout] 395 |     let x3: NondetRegStruct = exec_nondet_reg(ctx, x2, (layout1.map(|c| c._super)))?;
[INFO] [stdout]     |                                                        ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 395 -     let x3: NondetRegStruct = exec_nondet_reg(ctx, x2, (layout1.map(|c| c._super)))?;
[INFO] [stdout] 395 +     let x3: NondetRegStruct = exec_nondet_reg(ctx, x2, layout1.map(|c| c._super))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:398:56
[INFO] [stdout]     |
[INFO] [stdout] 398 |     let x5: NondetRegStruct = exec_nondet_reg(ctx, x4, (layout1.map(|c| c.inv)))?;
[INFO] [stdout]     |                                                        ^                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 398 -     let x5: NondetRegStruct = exec_nondet_reg(ctx, x4, (layout1.map(|c| c.inv)))?;
[INFO] [stdout] 398 +     let x5: NondetRegStruct = exec_nondet_reg(ctx, x4, layout1.map(|c| c.inv))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:405:10
[INFO] [stdout]     |
[INFO] [stdout] 405 |     eqz!((x8 - x9), "IsZero(zirgen/dsl/examples/fibonacci.zir:14)");
[INFO] [stdout]     |          ^       ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 405 -     eqz!((x8 - x9), "IsZero(zirgen/dsl/examples/fibonacci.zir:14)");
[INFO] [stdout] 405 +     eqz!(x8 - x9, "IsZero(zirgen/dsl/examples/fibonacci.zir:14)");
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:427:65
[INFO] [stdout]     |
[INFO] [stdout] 427 |     let x3: NondetRegStruct = exec_nondet_reg(ctx, Val::new(6), (x2.map(|c| c.total_cycles)))?;
[INFO] [stdout]     |                                                                 ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 427 -     let x3: NondetRegStruct = exec_nondet_reg(ctx, Val::new(6), (x2.map(|c| c.total_cycles)))?;
[INFO] [stdout] 427 +     let x3: NondetRegStruct = exec_nondet_reg(ctx, Val::new(6), x2.map(|c| c.total_cycles))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:432:63
[INFO] [stdout]     |
[INFO] [stdout] 432 |     let x5: NondetRegStruct = exec_nondet_reg(ctx, x4._super, (layout0.map(|c| c._super)))?;
[INFO] [stdout]     |                                                               ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 432 -     let x5: NondetRegStruct = exec_nondet_reg(ctx, x4._super, (layout0.map(|c| c._super)))?;
[INFO] [stdout] 432 +     let x5: NondetRegStruct = exec_nondet_reg(ctx, x4._super, layout0.map(|c| c._super))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:435:57
[INFO] [stdout]     |
[INFO] [stdout] 435 |     let x6: IsZeroStruct = exec_is_zero(ctx, x5._super, (layout0.map(|c| c.is_first_cycle)))?;
[INFO] [stdout]     |                                                         ^                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 435 -     let x6: IsZeroStruct = exec_is_zero(ctx, x5._super, (layout0.map(|c| c.is_first_cycle)))?;
[INFO] [stdout] 435 +     let x6: IsZeroStruct = exec_is_zero(ctx, x5._super, layout0.map(|c| c.is_first_cycle))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:447:60
[INFO] [stdout]     |
[INFO] [stdout] 447 |         let x10: NondetRegStruct = back_nondet_reg(ctx, 1, (layout0.map(|c| c._super)))?;
[INFO] [stdout]     |                                                            ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 447 -         let x10: NondetRegStruct = back_nondet_reg(ctx, 1, (layout0.map(|c| c._super)))?;
[INFO] [stdout] 447 +         let x10: NondetRegStruct = back_nondet_reg(ctx, 1, layout0.map(|c| c._super))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:452:13
[INFO] [stdout]     |
[INFO] [stdout] 452 |             (x5._super - x11),
[INFO] [stdout]     |             ^               ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 452 -             (x5._super - x11),
[INFO] [stdout] 452 +             x5._super - x11,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:480:58
[INFO] [stdout]     |
[INFO] [stdout] 480 |     let x3: CycleCounterStruct = exec_cycle_counter(ctx, (layout0.map(|c| c.cycle)), global1)?;
[INFO] [stdout]     |                                                          ^                        ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 480 -     let x3: CycleCounterStruct = exec_cycle_counter(ctx, (layout0.map(|c| c.cycle)), global1)?;
[INFO] [stdout] 480 +     let x3: CycleCounterStruct = exec_cycle_counter(ctx, layout0.map(|c| c.cycle), global1)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:489:46
[INFO] [stdout]     |
[INFO] [stdout] 489 |         let x6: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f0)))?;
[INFO] [stdout]     |                                              ^                ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 489 -         let x6: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f0)))?;
[INFO] [stdout] 489 +         let x6: RegStruct = back_reg(ctx, 0, x2.map(|c| c.f0))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:494:46
[INFO] [stdout]     |
[INFO] [stdout] 494 |         let x7: RegStruct = back_reg(ctx, 1, (layout0.map(|c| c.d2)))?;
[INFO] [stdout]     |                                              ^                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 494 -         let x7: RegStruct = back_reg(ctx, 1, (layout0.map(|c| c.d2)))?;
[INFO] [stdout] 494 +         let x7: RegStruct = back_reg(ctx, 1, layout0.map(|c| c.d2))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:500:57
[INFO] [stdout]     |
[INFO] [stdout] 500 |     let x8: RegStruct = exec_reg(ctx, x5._super._super, (layout0.map(|c| c.d1)))?;
[INFO] [stdout]     |                                                         ^                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 500 -     let x8: RegStruct = exec_reg(ctx, x5._super._super, (layout0.map(|c| c.d1)))?;
[INFO] [stdout] 500 +     let x8: RegStruct = exec_reg(ctx, x5._super._super, layout0.map(|c| c.d1))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:508:47
[INFO] [stdout]     |
[INFO] [stdout] 508 |         let x11: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f1)))?;
[INFO] [stdout]     |                                               ^                ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 508 -         let x11: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f1)))?;
[INFO] [stdout] 508 +         let x11: RegStruct = back_reg(ctx, 0, x2.map(|c| c.f1))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:513:47
[INFO] [stdout]     |
[INFO] [stdout] 513 |         let x12: RegStruct = back_reg(ctx, 1, (layout0.map(|c| c.d3)))?;
[INFO] [stdout]     |                                               ^                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 513 -         let x12: RegStruct = back_reg(ctx, 1, (layout0.map(|c| c.d3)))?;
[INFO] [stdout] 513 +         let x12: RegStruct = back_reg(ctx, 1, layout0.map(|c| c.d3))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:519:59
[INFO] [stdout]     |
[INFO] [stdout] 519 |     let x13: RegStruct = exec_reg(ctx, x10._super._super, (layout0.map(|c| c.d2)))?;
[INFO] [stdout]     |                                                           ^                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 519 -     let x13: RegStruct = exec_reg(ctx, x10._super._super, (layout0.map(|c| c.d2)))?;
[INFO] [stdout] 519 +     let x13: RegStruct = exec_reg(ctx, x10._super._super, layout0.map(|c| c.d2))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:524:45
[INFO] [stdout]     |
[INFO] [stdout] 524 |     let x15: RegStruct = exec_reg(ctx, x14, (layout0.map(|c| c.d3)))?;
[INFO] [stdout]     |                                             ^                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 524 -     let x15: RegStruct = exec_reg(ctx, x14, (layout0.map(|c| c.d3)))?;
[INFO] [stdout] 524 +     let x15: RegStruct = exec_reg(ctx, x14, layout0.map(|c| c.d3))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:527:43
[INFO] [stdout]     |
[INFO] [stdout] 527 |     let x16: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.steps)))?;
[INFO] [stdout]     |                                           ^                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 527 -     let x16: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.steps)))?;
[INFO] [stdout] 527 +     let x16: RegStruct = back_reg(ctx, 0, x2.map(|c| c.steps))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:534:52
[INFO] [stdout]     |
[INFO] [stdout] 534 |     let x19: IsZeroStruct = exec_is_zero(ctx, x18, (layout0.map(|c| c.terminate)))?;
[INFO] [stdout]     |                                                    ^                            ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 534 -     let x19: IsZeroStruct = exec_is_zero(ctx, x18, (layout0.map(|c| c.terminate)))?;
[INFO] [stdout] 534 +     let x19: IsZeroStruct = exec_is_zero(ctx, x18, layout0.map(|c| c.terminate))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:542:63
[INFO] [stdout]     |
[INFO] [stdout] 542 |         let x22: RegStruct = exec_reg(ctx, x15._super._super, (x2.map(|c| c.f_last)))?;
[INFO] [stdout]     |                                                               ^                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 542 -         let x22: RegStruct = exec_reg(ctx, x15._super._super, (x2.map(|c| c.f_last)))?;
[INFO] [stdout] 542 +         let x22: RegStruct = exec_reg(ctx, x15._super._super, x2.map(|c| c.f_last))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:544:47
[INFO] [stdout]     |
[INFO] [stdout] 544 |         let x23: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f_last)))?;
[INFO] [stdout]     |                                               ^                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 544 -         let x23: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f_last)))?;
[INFO] [stdout] 544 +         let x23: RegStruct = back_reg(ctx, 0, x2.map(|c| c.f_last))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:609:23
[INFO] [stdout]     |
[INFO] [stdout] 609 |     let x13: ExtVal = ((x3 - ((x12.map(|c| c.steps)).map(|c| c._super)).load(ctx, 0))
[INFO] [stdout]     |                       ^
[INFO] [stdout] 610 |         + ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)));
[INFO] [stdout]     |                                                                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 609 ~     let x13: ExtVal = (x3 - ((x12.map(|c| c.steps)).map(|c| c._super)).load(ctx, 0))
[INFO] [stdout] 610 ~         + ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:613:23
[INFO] [stdout]     |
[INFO] [stdout] 613 |     let x14: ExtVal = (ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x9);
[INFO] [stdout]     |                       ^                                                                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 613 -     let x14: ExtVal = (ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x9);
[INFO] [stdout] 613 +     let x14: ExtVal = ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x9;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:617:23
[INFO] [stdout]     |
[INFO] [stdout] 617 |     let x15: ExtVal = (ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x4);
[INFO] [stdout]     |                       ^                                                                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 617 -     let x15: ExtVal = (ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x4);
[INFO] [stdout] 617 +     let x15: ExtVal = ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x4;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:620:78
[INFO] [stdout]     |
[INFO] [stdout] 620 |     let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?;
[INFO] [stdout]     |                                                                              ^               ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 620 -     let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?;
[INFO] [stdout] 620 +     let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, (x3 * x5) - x15)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:620:64
[INFO] [stdout]     |
[INFO] [stdout] 620 |     let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?;
[INFO] [stdout]     |                                                                ^        ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 620 -     let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?;
[INFO] [stdout] 620 +     let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, x4 * x15)?, ((x3 * x5) - x15))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:624:61
[INFO] [stdout]     |
[INFO] [stdout] 624 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?,
[INFO] [stdout]     |                                                             ^       ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 624 -         and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?,
[INFO] [stdout] 624 +         and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, x4 * x5)?,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:624:48
[INFO] [stdout]     |
[INFO] [stdout] 624 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?,
[INFO] [stdout]     |                                                ^       ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 624 -         and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?,
[INFO] [stdout] 624 +         and_eqz_ext(ctx, and_eqz_ext(ctx, x16, x4 * x3)?, (x4 * x5))?,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:629:13
[INFO] [stdout]     |
[INFO] [stdout] 629 |             (x3 - (get(ctx, taps0, 3, 0)?
[INFO] [stdout]     |             ^
[INFO] [stdout] 630 |                 + ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)))),
[INFO] [stdout]     |                                                                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 629 ~             x3 - (get(ctx, taps0, 3, 0)?
[INFO] [stdout] 630 ~                 + ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:635:23
[INFO] [stdout]     |
[INFO] [stdout] 635 |     let x18: ExtVal = (((x12.map(|c| c.f0)).map(|c| c._super)).load_unchecked(ctx, 0) * x4);
[INFO] [stdout]     |                       ^                                                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 635 -     let x18: ExtVal = (((x12.map(|c| c.f0)).map(|c| c._super)).load_unchecked(ctx, 0) * x4);
[INFO] [stdout] 635 +     let x18: ExtVal = ((x12.map(|c| c.f0)).map(|c| c._super)).load_unchecked(ctx, 0) * x4;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:638:23
[INFO] [stdout]     |
[INFO] [stdout] 638 |     let x19: ExtVal = (((x12.map(|c| c.f1)).map(|c| c._super)).load_unchecked(ctx, 0) * x4);
[INFO] [stdout]     |                       ^                                                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 638 -     let x19: ExtVal = (((x12.map(|c| c.f1)).map(|c| c._super)).load_unchecked(ctx, 0) * x4);
[INFO] [stdout] 638 +     let x19: ExtVal = ((x12.map(|c| c.f1)).map(|c| c._super)).load_unchecked(ctx, 0) * x4;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:644:9
[INFO] [stdout]     |
[INFO] [stdout] 644 |         ((x19 + (get(ctx, taps0, 9, 0)? * x15)) - x6),
[INFO] [stdout]     |         ^                                           ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 644 -         ((x19 + (get(ctx, taps0, 9, 0)? * x15)) - x6),
[INFO] [stdout] 644 +         (x19 + (get(ctx, taps0, 9, 0)? * x15)) - x6,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:643:31
[INFO] [stdout]     |
[INFO] [stdout] 643 |         and_eqz_ext(ctx, x17, ((x18 + (get(ctx, taps0, 7, 0)? * x15)) - x8))?,
[INFO] [stdout]     |                               ^                                           ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 643 -         and_eqz_ext(ctx, x17, ((x18 + (get(ctx, taps0, 7, 0)? * x15)) - x8))?,
[INFO] [stdout] 643 +         and_eqz_ext(ctx, x17, (x18 + (get(ctx, taps0, 7, 0)? * x15)) - x8)?,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:652:9
[INFO] [stdout]     |
[INFO] [stdout] 652 |         ((x13 * x10) - x14),
[INFO] [stdout]     |         ^                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 652 -         ((x13 * x10) - x14),
[INFO] [stdout] 652 +         (x13 * x10) - x14,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:651:68
[INFO] [stdout]     |
[INFO] [stdout] 651 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?,
[INFO] [stdout]     |                                                                    ^        ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 651 -         and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?,
[INFO] [stdout] 651 +         and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, x9 * x14)?,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:651:48
[INFO] [stdout]     |
[INFO] [stdout] 651 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?,
[INFO] [stdout]     |                                                ^              ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 651 -         and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?,
[INFO] [stdout] 651 +         and_eqz_ext(ctx, and_eqz_ext(ctx, x20, (x8 + x6) - x7)?, (x9 * x14))?,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:657:62
[INFO] [stdout]     |
[INFO] [stdout] 657 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?,
[INFO] [stdout]     |                                                              ^        ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 657 -         and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?,
[INFO] [stdout] 657 +         and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, x9 * x10)?,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:657:48
[INFO] [stdout]     |
[INFO] [stdout] 657 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?,
[INFO] [stdout]     |                                                ^        ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 657 -         and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?,
[INFO] [stdout] 657 +         and_eqz_ext(ctx, and_eqz_ext(ctx, x21, x9 * x13)?, (x9 * x10))?,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:662:13
[INFO] [stdout]     |
[INFO] [stdout] 662 |             (x7 - ((x12.map(|c| c.f_last)).map(|c| c._super)).load(ctx, 0)),
[INFO] [stdout]     |             ^                                                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 662 -             (x7 - ((x12.map(|c| c.f_last)).map(|c| c._super)).load(ctx, 0)),
[INFO] [stdout] 662 +             x7 - ((x12.map(|c| c.f_last)).map(|c| c._super)).load(ctx, 0),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:681:9
[INFO] [stdout]     |
[INFO] [stdout] 681 |         ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 1) + Val::new(1));
[INFO] [stdout]     |         ^                                                                                        ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 681 -         ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 1) + Val::new(1));
[INFO] [stdout] 681 +         (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 1) + Val::new(1);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:683:19
[INFO] [stdout]     |
[INFO] [stdout] 683 |     let x6: Val = ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) - x5);
[INFO] [stdout]     |                   ^                                                                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 683 -     let x6: Val = ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) - x5);
[INFO] [stdout] 683 +     let x6: Val = (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) - x5;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:686:19
[INFO] [stdout]     |
[INFO] [stdout] 686 |     let x7: Val = (((x3.map(|c| c.d1)).map(|c| c._super)).load(ctx, 0)
[INFO] [stdout]     |                   ^
[INFO] [stdout] 687 |         + ((x3.map(|c| c.d2)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout]     |                                                              ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 686 ~     let x7: Val = ((x3.map(|c| c.d1)).map(|c| c._super)).load(ctx, 0)
[INFO] [stdout] 687 ~         + ((x3.map(|c| c.d2)).map(|c| c._super)).load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:690:19
[INFO] [stdout]     |
[INFO] [stdout] 690 |     let x8: Val = ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0)
[INFO] [stdout]     |                   ^
[INFO] [stdout] 691 |         - ((x4.map(|c| c.steps)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout]     |                                                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 690 ~     let x8: Val = (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0)
[INFO] [stdout] 691 ~         - ((x4.map(|c| c.steps)).map(|c| c._super)).load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:692:19
[INFO] [stdout]     |
[INFO] [stdout] 692 |     let x9: Val = (x8 + Val::new(1));
[INFO] [stdout]     |                   ^                ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 692 -     let x9: Val = (x8 + Val::new(1));
[INFO] [stdout] 692 +     let x9: Val = x8 + Val::new(1);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:695:20
[INFO] [stdout]     |
[INFO] [stdout] 695 |     let x10: Val = (Val::new(1)
[INFO] [stdout]     |                    ^
[INFO] [stdout] 696 |         - (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout]     |                                                                                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 695 ~     let x10: Val = Val::new(1)
[INFO] [stdout] 696 ~         - (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:699:9
[INFO] [stdout]     |
[INFO] [stdout] 699 |         ((((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x10);
[INFO] [stdout]     |         ^                                                                                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 699 -         ((((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x10);
[INFO] [stdout] 699 +         (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x10;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:702:20
[INFO] [stdout]     |
[INFO] [stdout] 702 |     let x12: Val = (Val::new(1)
[INFO] [stdout]     |                    ^
[INFO] [stdout] 703 |         - (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout]     |                                                                                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 702 ~     let x12: Val = Val::new(1)
[INFO] [stdout] 703 ~         - (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:707:9
[INFO] [stdout]     |
[INFO] [stdout] 707 |         ((((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x9);
[INFO] [stdout]     |         ^                                                                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 707 -         ((((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x9);
[INFO] [stdout] 707 +         (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x9;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:710:20
[INFO] [stdout]     |
[INFO] [stdout] 710 |     let x14: Val = ((((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0)
[INFO] [stdout]     |                    ^
[INFO] [stdout] 711 |         * (((x3.map(|c| c.terminate)).map(|c| c.inv)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout]     |                                                                                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 710 ~     let x14: Val = (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0)
[INFO] [stdout] 711 ~         * (((x3.map(|c| c.terminate)).map(|c| c.inv)).map(|c| c._super)).load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:715:20
[INFO] [stdout]     |
[INFO] [stdout] 715 |     let x15: Val = (((x3.map(|c| c.d3)).map(|c| c._super)).load(ctx, 0)
[INFO] [stdout]     |                    ^
[INFO] [stdout] 716 |         - ((x4.map(|c| c.f_last)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout]     |                                                                  ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 715 ~     let x15: Val = ((x3.map(|c| c.d3)).map(|c| c._super)).load(ctx, 0)
[INFO] [stdout] 716 ~         - ((x4.map(|c| c.f_last)).map(|c| c._super)).load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:721:20
[INFO] [stdout]     |
[INFO] [stdout] 721 |     let x16: Val = (Val::new(1)
[INFO] [stdout]     |                    ^
[INFO] [stdout] ...
[INFO] [stdout] 724 |         .load(ctx, 0));
[INFO] [stdout]     |                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 721 ~     let x16: Val = Val::new(1)
[INFO] [stdout] 722 |         - ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout] 723 |             .map(|c| c._super))
[INFO] [stdout] 724 ~         .load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:726:20
[INFO] [stdout]     |
[INFO] [stdout] 726 |     let x17: Val = (((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout]     |                    ^
[INFO] [stdout] ...
[INFO] [stdout] 729 |         * x16);
[INFO] [stdout]     |              ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 726 ~     let x17: Val = ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout] 727 |         .map(|c| c._super))
[INFO] [stdout] 728 |     .load(ctx, 0)
[INFO] [stdout] 729 ~         * x16;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:732:20
[INFO] [stdout]     |
[INFO] [stdout] 732 |     let x18: Val = ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0)
[INFO] [stdout]     |                    ^
[INFO] [stdout] 733 |         * ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c.inv)).map(|c| c._super))
[INFO] [stdout] 734 |             .load(ctx, 0));
[INFO] [stdout]     |                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 732 ~     let x18: Val = (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0)
[INFO] [stdout] 733 |         * ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c.inv)).map(|c| c._super))
[INFO] [stdout] 734 ~             .load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:736:20
[INFO] [stdout]     |
[INFO] [stdout] 736 |     let x19: Val = (Val::new(1)
[INFO] [stdout]     |                    ^
[INFO] [stdout] ...
[INFO] [stdout] 739 |         .load(ctx, 0));
[INFO] [stdout]     |                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 736 ~     let x19: Val = Val::new(1)
[INFO] [stdout] 737 |         - ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout] 738 |             .map(|c| c._super))
[INFO] [stdout] 739 ~         .load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:741:81
[INFO] [stdout]     |
[INFO] [stdout] 741 |     let x20: MixState = and_eqz(ctx, and_eqz(ctx, trivial_constraint()?, x17)?, (x18 - x19))?;
[INFO] [stdout]     |                                                                                 ^         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 741 -     let x20: MixState = and_eqz(ctx, and_eqz(ctx, trivial_constraint()?, x17)?, (x18 - x19))?;
[INFO] [stdout] 741 +     let x20: MixState = and_eqz(ctx, and_eqz(ctx, trivial_constraint()?, x17)?, x18 - x19)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:744:20
[INFO] [stdout]     |
[INFO] [stdout] 744 |     let x21: Val = (((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout]     |                    ^
[INFO] [stdout] ...
[INFO] [stdout] 747 |         * (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout]     |                                                                                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 744 ~     let x21: Val = ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout] 745 |         .map(|c| c._super))
[INFO] [stdout] 746 |     .load(ctx, 0)
[INFO] [stdout] 747 ~         * (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:750:20
[INFO] [stdout]     |
[INFO] [stdout] 750 |     let x22: Val = (((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout]     |                    ^
[INFO] [stdout] ...
[INFO] [stdout] 754 |             .load(ctx, 0));
[INFO] [stdout]     |                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 750 ~     let x22: Val = ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout] 751 |         .map(|c| c._super))
[INFO] [stdout] 752 |     .load(ctx, 0)
[INFO] [stdout] 753 |         * ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c.inv)).map(|c| c._super))
[INFO] [stdout] 754 ~             .load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:757:20
[INFO] [stdout]     |
[INFO] [stdout] 757 |     let x23: Val = (Val::new(1)
[INFO] [stdout]     |                    ^
[INFO] [stdout] ...
[INFO] [stdout] 760 |         .load(ctx, 0));
[INFO] [stdout]     |                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 757 ~     let x23: Val = Val::new(1)
[INFO] [stdout] 758 |         - ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout] 759 |             .map(|c| c._super))
[INFO] [stdout] 760 ~         .load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:769:20
[INFO] [stdout]     |
[INFO] [stdout] 769 |     let x25: Val = (Val::new(1)
[INFO] [stdout]     |                    ^
[INFO] [stdout] ...
[INFO] [stdout] 772 |         .load(ctx, 0));
[INFO] [stdout]     |                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 769 ~     let x25: Val = Val::new(1)
[INFO] [stdout] 770 |         - ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout] 771 |             .map(|c| c._super))
[INFO] [stdout] 772 ~         .load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:774:20
[INFO] [stdout]     |
[INFO] [stdout] 774 |     let x26: Val = (((x4.map(|c| c.f0)).map(|c| c._super)).load_unchecked(ctx, 0)
[INFO] [stdout]     |                    ^
[INFO] [stdout] ...
[INFO] [stdout] 777 |         .load(ctx, 0));
[INFO] [stdout]     |                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 774 ~     let x26: Val = ((x4.map(|c| c.f0)).map(|c| c._super)).load_unchecked(ctx, 0)
[INFO] [stdout] 775 |         * ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout] 776 |             .map(|c| c._super))
[INFO] [stdout] 777 ~         .load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:779:20
[INFO] [stdout]     |
[INFO] [stdout] 779 |     let x27: Val = (((x3.map(|c| c.d2)).map(|c| c._super)).load_unchecked(ctx, 1) * x25);
[INFO] [stdout]     |                    ^                                                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 779 -     let x27: Val = (((x3.map(|c| c.d2)).map(|c| c._super)).load_unchecked(ctx, 1) * x25);
[INFO] [stdout] 779 +     let x27: Val = ((x3.map(|c| c.d2)).map(|c| c._super)).load_unchecked(ctx, 1) * x25;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:782:20
[INFO] [stdout]     |
[INFO] [stdout] 782 |     let x28: Val = ((x26 + x27) - ((x3.map(|c| c.d1)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout]     |                    ^                                                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 782 -     let x28: Val = ((x26 + x27) - ((x3.map(|c| c.d1)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout] 782 +     let x28: Val = (x26 + x27) - ((x3.map(|c| c.d1)).map(|c| c._super)).load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:785:20
[INFO] [stdout]     |
[INFO] [stdout] 785 |     let x29: Val = (Val::new(1)
[INFO] [stdout]     |                    ^
[INFO] [stdout] ...
[INFO] [stdout] 788 |         .load(ctx, 0));
[INFO] [stdout]     |                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 785 ~     let x29: Val = Val::new(1)
[INFO] [stdout] 786 |         - ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout] 787 |             .map(|c| c._super))
[INFO] [stdout] 788 ~         .load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:790:20
[INFO] [stdout]     |
[INFO] [stdout] 790 |     let x30: Val = (((x4.map(|c| c.f1)).map(|c| c._super)).load_unchecked(ctx, 0)
[INFO] [stdout]     |                    ^
[INFO] [stdout] ...
[INFO] [stdout] 793 |         .load(ctx, 0));
[INFO] [stdout]     |                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 790 ~     let x30: Val = ((x4.map(|c| c.f1)).map(|c| c._super)).load_unchecked(ctx, 0)
[INFO] [stdout] 791 |         * ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super))
[INFO] [stdout] 792 |             .map(|c| c._super))
[INFO] [stdout] 793 ~         .load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:795:20
[INFO] [stdout]     |
[INFO] [stdout] 795 |     let x31: Val = (((x3.map(|c| c.d3)).map(|c| c._super)).load_unchecked(ctx, 1) * x29);
[INFO] [stdout]     |                    ^                                                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 795 -     let x31: Val = (((x3.map(|c| c.d3)).map(|c| c._super)).load_unchecked(ctx, 1) * x29);
[INFO] [stdout] 795 +     let x31: Val = ((x3.map(|c| c.d3)).map(|c| c._super)).load_unchecked(ctx, 1) * x29;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:798:20
[INFO] [stdout]     |
[INFO] [stdout] 798 |     let x32: Val = ((x30 + x31) - ((x3.map(|c| c.d2)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout]     |                    ^                                                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 798 -     let x32: Val = ((x30 + x31) - ((x3.map(|c| c.d2)).map(|c| c._super)).load(ctx, 0));
[INFO] [stdout] 798 +     let x32: Val = (x30 + x31) - ((x3.map(|c| c.d2)).map(|c| c._super)).load(ctx, 0);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:804:9
[INFO] [stdout]     |
[INFO] [stdout] 804 |         (x7 - ((x3.map(|c| c.d3)).map(|c| c._super)).load(ctx, 0)),
[INFO] [stdout]     |         ^                                                        ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 804 -         (x7 - ((x3.map(|c| c.d3)).map(|c| c._super)).load(ctx, 0)),
[INFO] [stdout] 804 +         x7 - ((x3.map(|c| c.d3)).map(|c| c._super)).load(ctx, 0),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:812:9
[INFO] [stdout]     |
[INFO] [stdout] 812 |         ((x9 * (((x3.map(|c| c.terminate)).map(|c| c.inv)).map(|c| c._super)).load(ctx, 0)) - x12),
[INFO] [stdout]     |         ^                                                                                        ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 812 -         ((x9 * (((x3.map(|c| c.terminate)).map(|c| c.inv)).map(|c| c._super)).load(ctx, 0)) - x12),
[INFO] [stdout] 812 +         (x9 * (((x3.map(|c| c.terminate)).map(|c| c.inv)).map(|c| c._super)).load(ctx, 0)) - x12,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0601]: `main` function not found in crate `fibonacci`
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:822:2
[INFO] [stdout]     |
[INFO] [stdout] 822 | }
[INFO] [stdout]     |  ^ consider adding a `main` function to `zirgen/dsl/examples/fibonacci.rs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:286:57
[INFO] [stdout]     |
[INFO] [stdout] 286 | pub fn exec_inv<'a>(ctx: &'a ExecContext, arg0: Val) -> Result<Val> {
[INFO] [stdout]     |                                                         ^^^^^^ --- supplied 1 generic argument
[INFO] [stdout]     |                                                         |
[INFO] [stdout]     |                                                         expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 286 | pub fn exec_inv<'a>(ctx: &'a ExecContext, arg0: Val) -> Result<Val, E> {
[INFO] [stdout]     |                                                                   +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:291:57
[INFO] [stdout]     |
[INFO] [stdout] 291 | pub fn exec_isz<'a>(ctx: &'a ExecContext, arg0: Val) -> Result<Val> {
[INFO] [stdout]     |                                                         ^^^^^^ --- supplied 1 generic argument
[INFO] [stdout]     |                                                         |
[INFO] [stdout]     |                                                         expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 291 | pub fn exec_isz<'a>(ctx: &'a ExecContext, arg0: Val) -> Result<Val, E> {
[INFO] [stdout]     |                                                                   +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:296:68
[INFO] [stdout]     |
[INFO] [stdout] 296 | pub fn exec_add<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result<Val> {
[INFO] [stdout]     |                                                                    ^^^^^^ --- supplied 1 generic argument
[INFO] [stdout]     |                                                                    |
[INFO] [stdout]     |                                                                    expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 296 | pub fn exec_add<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result<Val, E> {
[INFO] [stdout]     |                                                                              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:301:68
[INFO] [stdout]     |
[INFO] [stdout] 301 | pub fn exec_sub<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result<Val> {
[INFO] [stdout]     |                                                                    ^^^^^^ --- supplied 1 generic argument
[INFO] [stdout]     |                                                                    |
[INFO] [stdout]     |                                                                    expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 301 | pub fn exec_sub<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result<Val, E> {
[INFO] [stdout]     |                                                                              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:306:68
[INFO] [stdout]     |
[INFO] [stdout] 306 | pub fn exec_mul<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result<Val> {
[INFO] [stdout]     |                                                                    ^^^^^^ --- supplied 1 generic argument
[INFO] [stdout]     |                                                                    |
[INFO] [stdout]     |                                                                    expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 306 | pub fn exec_mul<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result<Val, E> {
[INFO] [stdout]     |                                                                              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:315:6
[INFO] [stdout]     |
[INFO] [stdout] 315 | ) -> Result<NondetRegStruct<'a>> {
[INFO] [stdout]     |      ^^^^^^ ------------------- supplied 1 generic argument
[INFO] [stdout]     |      |
[INFO] [stdout]     |      expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 315 | ) -> Result<NondetRegStruct<'a>, E> {
[INFO] [stdout]     |                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:328:6
[INFO] [stdout]     |
[INFO] [stdout] 328 | ) -> Result<NondetRegStruct<'a>> {
[INFO] [stdout]     |      ^^^^^^ ------------------- supplied 1 generic argument
[INFO] [stdout]     |      |
[INFO] [stdout]     |      expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 328 | ) -> Result<NondetRegStruct<'a>, E> {
[INFO] [stdout]     |                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:338:52
[INFO] [stdout]     |
[INFO] [stdout] 338 | pub fn exec_component<'a>(ctx: &'a ExecContext) -> Result<ComponentStruct> {
[INFO] [stdout]     |                                                    ^^^^^^ --------------- supplied 1 generic argument
[INFO] [stdout]     |                                                    |
[INFO] [stdout]     |                                                    expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 338 | pub fn exec_component<'a>(ctx: &'a ExecContext) -> Result<ComponentStruct, E> {
[INFO] [stdout]     |                                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:347:6
[INFO] [stdout]     |
[INFO] [stdout] 347 | ) -> Result<RegStruct<'a>> {
[INFO] [stdout]     |      ^^^^^^ ------------- supplied 1 generic argument
[INFO] [stdout]     |      |
[INFO] [stdout]     |      expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 347 | ) -> Result<RegStruct<'a>, E> {
[INFO] [stdout]     |                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:362:6
[INFO] [stdout]     |
[INFO] [stdout] 362 | ) -> Result<RegStruct<'a>> {
[INFO] [stdout]     |      ^^^^^^ ------------- supplied 1 generic argument
[INFO] [stdout]     |      |
[INFO] [stdout]     |      expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 362 | ) -> Result<RegStruct<'a>, E> {
[INFO] [stdout]     |                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:374:72
[INFO] [stdout]     |
[INFO] [stdout] 374 | pub fn exec_log<'a>(ctx: &'a ExecContext, arg0: &str, arg1: &[Val]) -> Result<ComponentStruct> {
[INFO] [stdout]     |                                                                        ^^^^^^ --------------- supplied 1 generic argument
[INFO] [stdout]     |                                                                        |
[INFO] [stdout]     |                                                                        expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 374 | pub fn exec_log<'a>(ctx: &'a ExecContext, arg0: &str, arg1: &[Val]) -> Result<ComponentStruct, E> {
[INFO] [stdout]     |                                                                                              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:381:52
[INFO] [stdout]     |
[INFO] [stdout] 381 | pub fn exec_get_cycle<'a>(ctx: &'a ExecContext) -> Result<GetCycleStruct> {
[INFO] [stdout]     |                                                    ^^^^^^ -------------- supplied 1 generic argument
[INFO] [stdout]     |                                                    |
[INFO] [stdout]     |                                                    expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 381 | pub fn exec_get_cycle<'a>(ctx: &'a ExecContext) -> Result<GetCycleStruct, E> {
[INFO] [stdout]     |                                                                         +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:392:6
[INFO] [stdout]     |
[INFO] [stdout] 392 | ) -> Result<IsZeroStruct<'a>> {
[INFO] [stdout]     |      ^^^^^^ ---------------- supplied 1 generic argument
[INFO] [stdout]     |      |
[INFO] [stdout]     |      expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 392 | ) -> Result<IsZeroStruct<'a>, E> {
[INFO] [stdout]     |                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:421:6
[INFO] [stdout]     |
[INFO] [stdout] 421 | ) -> Result<CycleCounterStruct<'a>> {
[INFO] [stdout]     |      ^^^^^^ ---------------------- supplied 1 generic argument
[INFO] [stdout]     |      |
[INFO] [stdout]     |      expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 421 | ) -> Result<CycleCounterStruct<'a>, E> {
[INFO] [stdout]     |                                   +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:474:6
[INFO] [stdout]     |
[INFO] [stdout] 474 | ) -> Result<TopStruct<'a>> {
[INFO] [stdout]     |      ^^^^^^ ------------- supplied 1 generic argument
[INFO] [stdout]     |      |
[INFO] [stdout]     |      expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 474 | ) -> Result<TopStruct<'a>, E> {
[INFO] [stdout]     |                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:578:6
[INFO] [stdout]     |
[INFO] [stdout] 578 | ) -> Result<()> {
[INFO] [stdout]     |      ^^^^^^ -- supplied 1 generic argument
[INFO] [stdout]     |      |
[INFO] [stdout]     |      expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 578 | ) -> Result<(), E> {
[INFO] [stdout]     |               +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:591:6
[INFO] [stdout]     |
[INFO] [stdout] 591 | ) -> Result<MixState> {
[INFO] [stdout]     |      ^^^^^^ -------- supplied 1 generic argument
[INFO] [stdout]     |      |
[INFO] [stdout]     |      expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 591 | ) -> Result<MixState, E> {
[INFO] [stdout]     |                     +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:672:6
[INFO] [stdout]     |
[INFO] [stdout] 672 | ) -> Result<MixState> {
[INFO] [stdout]     |      ^^^^^^ -------- supplied 1 generic argument
[INFO] [stdout]     |      |
[INFO] [stdout]     |      expected 2 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]     |
[INFO] [stdout] 672 | ) -> Result<MixState, E> {
[INFO] [stdout]     |                     +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `inv_0` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:287:15
[INFO] [stdout]     |
[INFO] [stdout] 287 |     return Ok(inv_0(arg0)?);
[INFO] [stdout]     |               ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:365:5
[INFO] [stdout]     |
[INFO] [stdout] 365 |     eqz!((arg0 - x2._super), "Reg(<preamble>:5)");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8
[INFO] [stdout]     |
[INFO] [stdout] 618 |     fn context<C>(self, context: C) -> Result<T, Error>
[INFO] [stdout]     |        ------- the method is available for `Result<(), anyhow::Error>` here
[INFO] [stdout]     |
[INFO] [stdout] note: the method `context` exists on the type `anyhow::Error`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5
[INFO] [stdout]     |
[INFO] [stdout] 383 | /     pub fn context<C>(self, context: C) -> Self
[INFO] [stdout] 384 | |     where
[INFO] [stdout] 385 | |         C: Display + Send + Sync + 'static,
[INFO] [stdout]     | |___________________________________________^
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout]     = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value)?.context($loc)?
[INFO] [stdout]     |                    +
[INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout] 1   + use anyhow::Context;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a method `with_context` with a similar name
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value).with_context($loc)?
[INFO] [stdout]     |                     +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:402:5
[INFO] [stdout]     |
[INFO] [stdout] 402 |     eqz!(x7, "IsZero(zirgen/dsl/examples/fibonacci.zir:12)");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8
[INFO] [stdout]     |
[INFO] [stdout] 618 |     fn context<C>(self, context: C) -> Result<T, Error>
[INFO] [stdout]     |        ------- the method is available for `Result<(), anyhow::Error>` here
[INFO] [stdout]     |
[INFO] [stdout] note: the method `context` exists on the type `anyhow::Error`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5
[INFO] [stdout]     |
[INFO] [stdout] 383 | /     pub fn context<C>(self, context: C) -> Self
[INFO] [stdout] 384 | |     where
[INFO] [stdout] 385 | |         C: Display + Send + Sync + 'static,
[INFO] [stdout]     | |___________________________________________^
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout]     = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value)?.context($loc)?
[INFO] [stdout]     |                    +
[INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout] 1   + use anyhow::Context;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a method `with_context` with a similar name
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value).with_context($loc)?
[INFO] [stdout]     |                     +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:405:5
[INFO] [stdout]     |
[INFO] [stdout] 405 |     eqz!((x8 - x9), "IsZero(zirgen/dsl/examples/fibonacci.zir:14)");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8
[INFO] [stdout]     |
[INFO] [stdout] 618 |     fn context<C>(self, context: C) -> Result<T, Error>
[INFO] [stdout]     |        ------- the method is available for `Result<(), anyhow::Error>` here
[INFO] [stdout]     |
[INFO] [stdout] note: the method `context` exists on the type `anyhow::Error`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5
[INFO] [stdout]     |
[INFO] [stdout] 383 | /     pub fn context<C>(self, context: C) -> Self
[INFO] [stdout] 384 | |     where
[INFO] [stdout] 385 | |         C: Display + Send + Sync + 'static,
[INFO] [stdout]     | |___________________________________________^
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout]     = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value)?.context($loc)?
[INFO] [stdout]     |                    +
[INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout] 1   + use anyhow::Context;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a method `with_context` with a similar name
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value).with_context($loc)?
[INFO] [stdout]     |                     +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:407:5
[INFO] [stdout]     |
[INFO] [stdout] 407 |     eqz!(x10, "IsZero(zirgen/dsl/examples/fibonacci.zir:16)");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8
[INFO] [stdout]     |
[INFO] [stdout] 618 |     fn context<C>(self, context: C) -> Result<T, Error>
[INFO] [stdout]     |        ------- the method is available for `Result<(), anyhow::Error>` here
[INFO] [stdout]     |
[INFO] [stdout] note: the method `context` exists on the type `anyhow::Error`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5
[INFO] [stdout]     |
[INFO] [stdout] 383 | /     pub fn context<C>(self, context: C) -> Self
[INFO] [stdout] 384 | |     where
[INFO] [stdout] 385 | |         C: Display + Send + Sync + 'static,
[INFO] [stdout]     | |___________________________________________^
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout]     = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value)?.context($loc)?
[INFO] [stdout]     |                    +
[INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout] 1   + use anyhow::Context;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a method `with_context` with a similar name
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value).with_context($loc)?
[INFO] [stdout]     |                     +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:409:5
[INFO] [stdout]     |
[INFO] [stdout] 409 |     eqz!(x11, "IsZero(zirgen/dsl/examples/fibonacci.zir:18)");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8
[INFO] [stdout]     |
[INFO] [stdout] 618 |     fn context<C>(self, context: C) -> Result<T, Error>
[INFO] [stdout]     |        ------- the method is available for `Result<(), anyhow::Error>` here
[INFO] [stdout]     |
[INFO] [stdout] note: the method `context` exists on the type `anyhow::Error`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5
[INFO] [stdout]     |
[INFO] [stdout] 383 | /     pub fn context<C>(self, context: C) -> Self
[INFO] [stdout] 384 | |     where
[INFO] [stdout] 385 | |         C: Display + Send + Sync + 'static,
[INFO] [stdout]     | |___________________________________________^
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout]     = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value)?.context($loc)?
[INFO] [stdout]     |                    +
[INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout] 1   + use anyhow::Context;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a method `with_context` with a similar name
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value).with_context($loc)?
[INFO] [stdout]     |                     +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:451:9
[INFO] [stdout]     |
[INFO] [stdout] 451 | /         eqz!(
[INFO] [stdout] 452 | |             (x5._super - x11),
[INFO] [stdout] 453 | |             "CycleCounter(zirgen/dsl/examples/fibonacci.zir:39)"
[INFO] [stdout] 454 | |         );
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8
[INFO] [stdout]     |
[INFO] [stdout] 618 |       fn context<C>(self, context: C) -> Result<T, Error>
[INFO] [stdout]     |          ------- the method is available for `Result<(), anyhow::Error>` here
[INFO] [stdout]     |
[INFO] [stdout] note: the method `context` exists on the type `anyhow::Error`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5
[INFO] [stdout]     |
[INFO] [stdout] 383 | /     pub fn context<C>(self, context: C) -> Self
[INFO] [stdout] 384 | |     where
[INFO] [stdout] 385 | |         C: Display + Send + Sync + 'static,
[INFO] [stdout]     | |___________________________________________^
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout]     = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value)?.context($loc)?
[INFO] [stdout]     |                    +
[INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout] 1   + use anyhow::Context;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a method `with_context` with a similar name
[INFO] [stdout]    --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21
[INFO] [stdout]     |
[INFO] [stdout] 245 |         eqz($value).with_context($loc)?
[INFO] [stdout]     |                     +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the size for values of type `[risc0_zkp::field::baby_bear::Elem]` cannot be known at compilation time
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:547:13
[INFO] [stdout]     |
[INFO] [stdout] 547 |         let x24: [Val] = [x23._super._super];
[INFO] [stdout]     |             ^^^ doesn't have a size known at compile-time
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `Sized` is not implemented for `[risc0_zkp::field::baby_bear::Elem]`
[INFO] [stdout]     = note: all local variables must have a statically known size
[INFO] [stdout]     = help: unsized locals are gated as an unstable feature
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]     |
[INFO] [stdout] 547 |         let x24: &[Val] = [x23._super._super];
[INFO] [stdout]     |                  +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:620:42
[INFO] [stdout]     |
[INFO] [stdout] 620 |     let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?;
[INFO] [stdout]     |                                          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:620:25
[INFO] [stdout]     |
[INFO] [stdout] 620 |     let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?;
[INFO] [stdout]     |                         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:624:26
[INFO] [stdout]     |
[INFO] [stdout] 624 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?,
[INFO] [stdout]     |                          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:624:9
[INFO] [stdout]     |
[INFO] [stdout] 624 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?,
[INFO] [stdout]     |         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:626:9
[INFO] [stdout]     |
[INFO] [stdout] 626 |         and_eqz_ext(
[INFO] [stdout]     |         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_cond_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:623:25
[INFO] [stdout]     |
[INFO] [stdout] 623 |     let x17: MixState = and_cond_ext(
[INFO] [stdout]     |                         ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:643:9
[INFO] [stdout]     |
[INFO] [stdout] 643 |         and_eqz_ext(ctx, x17, ((x18 + (get(ctx, taps0, 7, 0)? * x15)) - x8))?,
[INFO] [stdout]     |         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:641:25
[INFO] [stdout]     |
[INFO] [stdout] 641 |     let x20: MixState = and_eqz_ext(
[INFO] [stdout]     |                         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:651:26
[INFO] [stdout]     |
[INFO] [stdout] 651 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?,
[INFO] [stdout]     |                          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:651:9
[INFO] [stdout]     |
[INFO] [stdout] 651 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?,
[INFO] [stdout]     |         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:649:25
[INFO] [stdout]     |
[INFO] [stdout] 649 |     let x21: MixState = and_eqz_ext(
[INFO] [stdout]     |                         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:657:26
[INFO] [stdout]     |
[INFO] [stdout] 657 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?,
[INFO] [stdout]     |                          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:657:9
[INFO] [stdout]     |
[INFO] [stdout] 657 |         and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?,
[INFO] [stdout]     |         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:659:9
[INFO] [stdout]     |
[INFO] [stdout] 659 |         and_eqz_ext(
[INFO] [stdout]     |         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_cond_ext` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:656:25
[INFO] [stdout]     |
[INFO] [stdout] 656 |     let x22: MixState = and_cond_ext(
[INFO] [stdout]     |                         ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:741:38
[INFO] [stdout]     |
[INFO] [stdout] 741 |     let x20: MixState = and_eqz(ctx, and_eqz(ctx, trivial_constraint()?, x17)?, (x18 - x19))?;
[INFO] [stdout]     |                                      ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:741:25
[INFO] [stdout]     |
[INFO] [stdout] 741 |     let x20: MixState = and_eqz(ctx, and_eqz(ctx, trivial_constraint()?, x17)?, (x18 - x19))?;
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:763:22
[INFO] [stdout]     |
[INFO] [stdout] 763 |         and_eqz(ctx, and_eqz(ctx, x20, x21)?, x22)?,
[INFO] [stdout]     |                      ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:763:9
[INFO] [stdout]     |
[INFO] [stdout] 763 |         and_eqz(ctx, and_eqz(ctx, x20, x21)?, x22)?,
[INFO] [stdout]     |         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:765:9
[INFO] [stdout]     |
[INFO] [stdout] 765 |         and_eqz(ctx, trivial_constraint()?, x6)?,
[INFO] [stdout]     |         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_cond` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:762:25
[INFO] [stdout]     |
[INFO] [stdout] 762 |     let x24: MixState = and_cond(
[INFO] [stdout]     |                         ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:803:22
[INFO] [stdout]     |
[INFO] [stdout] 803 |         and_eqz(ctx, and_eqz(ctx, x24, x28)?, x32)?,
[INFO] [stdout]     |                      ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:803:9
[INFO] [stdout]     |
[INFO] [stdout] 803 |         and_eqz(ctx, and_eqz(ctx, x24, x28)?, x32)?,
[INFO] [stdout]     |         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:801:25
[INFO] [stdout]     |
[INFO] [stdout] 801 |     let x33: MixState = and_eqz(
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:811:9
[INFO] [stdout]     |
[INFO] [stdout] 811 |         and_eqz(ctx, x33, x11)?,
[INFO] [stdout]     |         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:809:25
[INFO] [stdout]     |
[INFO] [stdout] 809 |     let x34: MixState = and_eqz(
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:817:22
[INFO] [stdout]     |
[INFO] [stdout] 817 |         and_eqz(ctx, and_eqz(ctx, x34, x13)?, x14)?,
[INFO] [stdout]     |                      ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:817:9
[INFO] [stdout]     |
[INFO] [stdout] 817 |         and_eqz(ctx, and_eqz(ctx, x34, x13)?, x14)?,
[INFO] [stdout]     |         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:819:9
[INFO] [stdout]     |
[INFO] [stdout] 819 |         and_eqz(ctx, trivial_constraint()?, x15)?,
[INFO] [stdout]     |         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `and_cond` in this scope
[INFO] [stdout]    --> zirgen/dsl/examples/fibonacci.rs:816:25
[INFO] [stdout]     |
[INFO] [stdout] 816 |     let x35: MixState = and_cond(
[INFO] [stdout]     |                         ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0107, E0277, E0412, E0422, E0425, E0599, E0601.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0107`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `risc0-zirgen-dsl` (example "fibonacci") due to 90 previous errors; 74 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "a4d2c03d3ebfa7610ffd94b4f0baade64c2b766c49f1b65efcd636c5fadfe48b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a4d2c03d3ebfa7610ffd94b4f0baade64c2b766c49f1b65efcd636c5fadfe48b", kill_on_drop: false }`
[INFO] [stdout] a4d2c03d3ebfa7610ffd94b4f0baade64c2b766c49f1b65efcd636c5fadfe48b
