#export RUST_BACKTRACE=full
cargo run --bin lisp load jubjub-add.lisp