#!/bin/sh
set -eu
executable="$1"
shift
exec "$executable" -k --tap "$@"
