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

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