exec csh "$@"