20241202
  fgh_read.c in solvers.tgz:  change the declaration of f_OPHOL to
	extern char* f_OPHOL ANSI((expr* A_ASL));
  makefile.u in solvers.tgz: remove dependency on arith.h1.