#!/bin/sh
 # \
 exec tclsh "$0" "$@"