#! /bin/csh -f
exec /bin/cat -v $*