#!/bin/sh
dune exec --no-print-directory ./dump.exe -- $@
