all: dune build release: dune build --profile=release test: dune runtest src/test