#! /usr/local/bin/tcsh -f
echo $0 $1
echo $*
echo $argv
echo $argv[1]
echo $#argv # equivalente ad argc