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