#!/bin/csh
echo Arguments: $*
cat
