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