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