__NVCOMPILER_PATCHLEVEL__ 4925 src/simh/scp.c #   ifdef __NVCOMPILER_PATCHLEVEL__
__NVCOMPILER_PATCHLEVEL__ 4926 src/simh/scp.c     fprintf (st, ".%d", __NVCOMPILER_PATCHLEVEL__);