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