#ifdef __STDC__
const
#endif
 char edsc_version_string[] = "(Sat Mar  5 18:25:08 EST 1994) srz@milquetoast:/afs/sipb.mit.edu/project/discuss/vax/edsc";