char *release () {
  static char release[] = "vdiff-1.4pre10 (Fri Apr 24 18:22:44 1992 by axel@cs.tu-berlin.de)";
  return release;
}
