/* Copyright (c) 1979 Regents of the University of California */
* this writes the declaration of the character string version
* useful for makeing Version.c give the correct date for pi.
cstring
= ctime( &clock
);
printf( "char version[] = \"%s\";\n" , cstring
);