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