#!/bin/sh
# This file is in the public domain.
builtin ${0##*/} ${1+"$@"}