#!/bin/sh exec dune exec "src/examples/echo.exe" -- $@