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