laws_crypto.bend fails

import Base
import ./proofs/crypto/aead/proof.bend as CryptoAeadProof
import ./proofs/crypto/aes/proof.bend as CryptoAesProof
import ./proofs/crypto/argon2/proof.bend as CryptoArgon2Proof
import ./proofs/crypto/blake/proof.bend as CryptoBlakeProof
import ./proofs/crypto/chacha/proof.bend as CryptoChachaProof
import ./proofs/crypto/curve25519/proof.bend as CryptoCurve25519Proof
import ./proofs/crypto/ed25519/proof.bend as CryptoEd25519Proof
import ./proofs/crypto/hash/proof.bend as CryptoHashProof
import ./proofs/crypto/kdf/proof.bend as CryptoKdfProof
import ./proofs/crypto/mac/proof.bend as CryptoMacProof
import ./proofs/crypto/poly1305/proof.bend as CryptoPoly1305Proof
import ./proofs/crypto/random/proof.bend as CryptoRandomProof
import ./proofs/crypto/secp256k1/proof.bend as CryptoSecp256k1Proof
import ./proofs/crypto/secp256k1/proof_recover.bend as CryptoSecp256k1ProofRecover
import ./proofs/crypto/secp256k1/proof_schnorr.bend as CryptoSecp256k1ProofSchnorr
import ./proofs/crypto/secp256k1/proof_sign.bend as CryptoSecp256k1ProofSign
import ./proofs/crypto/secp256k1/proof_verify.bend as CryptoSecp256k1ProofVerify
import ./proofs/crypto/sha/packed/proof.bend as CryptoShaPackedProof
import ./proofs/crypto/sha/proof.bend as CryptoShaProof
import ./proofs/crypto/sha3/proof.bend as CryptoSha3Proof
import ./proofs/crypto/sha512/proof.bend as CryptoSha512Proof