DECVERSEXT       4799 src/simh/scp.c #  if defined(DECVERSEXT)
DECVERSEXT       4800 src/simh/scp.c     (void)fprintf (st, "\r\n          Math library: %s-%s", DECVERSION, DECVERSEXT);