__PGIC_PATCHLEVEL__ 5391 src/simh/scp.c #   if defined(__PGIC_PATCHLEVEL__)
__PGIC_PATCHLEVEL__ 5392 src/simh/scp.c     (void)fprintf (st, ".%d", __PGIC_PATCHLEVEL__);