/* derived from: version.c 2.9 1988/08/25 12:43:57  */
char version[] = 
"zoo 2.1 $Date: 1993/08/09 10:58:10 $";