#!/bin/sh exec dune exec --display=quiet -- examples/echo/echo.exe $@