#!/bin/sh
# The next line is a comment in Tcl, but not sh \
    exec WISHNAME -f "$0" ${1+"$@"}
