Finally, to allow a user to (temporarily) disable the POMP instrumentation process for specific files or parts of files, we propose to provide the following new directives:
(or !$POMP ..., as necessary) which disable and re-enable POMP instrumentation (similar to common existing compiler directives for disabling optimizations). POMP instrumentation disabled by !$OMP NOINSTRUMENT is in effect until end of file or until the next !$OMP INSTRUMENT whichever comes first.