#!/usr/bin/env sh
echo "$0" "$@"
