#! /bin/csh

echo succeeded
