run: dune exec src/main.exe