#! /bin/csh
# $BSDSUniX$

echo succeeded