#!/bin/csh
exit $*

