
cat $1 |
awk '{ if (NR == 1) {print $0; 
print "/*"
print " * +++++++++++++++++++++++++++++++++++++++++++++++++++++++++"
print " * 		PROPRIETARY NOTICE "
print " * "
print " * This source code is unpublished proprietary information"
print " * constituting, or derived under license from New York University."
print " * "
print " * 		Copyright Notice "
print " * "
print " * Notice of copyright on this source code product does not indicate "
print " * intent to publish."
print " * "
print " * 	Copyright 1993, 1994, 1995 NYU, All rights reserved"
print " */"
}
else print $0}'  > $1.tmp;
mv $1.tmp $1
