import Base
import ./PROOF.bend as Proof
import ./example.bend as Example
import ./conformance.bend as Conformance
import ./benchmark.bend as Benchmark
import ./tests/invalid_scalars.bend as InvalidScalars

def main() -> String:
  Example.main()