__NVCOMPILER_PATCHLEVEL__ 5278 src/simh/scp.c #   if defined(__NVCOMPILER_PATCHLEVEL__)
__NVCOMPILER_PATCHLEVEL__ 5279 src/simh/scp.c     (void)fprintf (st, ".%d", __NVCOMPILER_PATCHLEVEL__);