#ifdef __STDC__
const
#endif
 char edsc_version_string[] = "(Mon Jul 14 22:10:13 EDT 1997) svalente@cutter-john.mit.edu:/tmp/svalente/discuss/edsc";