1.$ SAVE_PROC_VERIFY = F$ENVIRONMENT("VERIFY_PROCEDURE")
      $ SAVE_IMAGE_VERIFY = F$ENVIRONMENT("VERIFY_IMAGE")
      $ SET NOVERIFY
         .
         .
         .
      $ TEMP = F$VERIFY(SAVE_PROC_VERIFY, SAVE_IMAGE_VERIFY)

      This example shows an excerpt from a command procedure. The
      first assignment statement assigns the current procedure
      verification setting to the symbol SAVE_PROC_VERIFY. The second
      assignment statement assigns the current image verification
      setting to the symbol SAVE_IMAGE_VERIFY.

      Then, the SET NOVERIFY command disables procedure and image
      verification. Later, the F$VERIFY function resets the
      verification settings, using the original values (equated to
      the symbols SAVE_PROC_VERIFY and SAVE_IMAGE_VERIFY). The symbol
      TEMP contains the procedure verification before it is changed
      with the F$VERIFY function. (In this example, the value of TEMP
      is not used.)

    2.$ VERIFY = F$VERIFY(0)
         .
         .
         .
       $ IF VERIFY .EQ. 1 THEN SET VERIFY

      This example shows an excerpt from a command procedure that
      uses the F$VERIFY function to save the current procedure
      verification setting and to turn both procedure and image
      verification off. At the end of the command procedure, if
      procedure verification was originally on, both the procedure
      and image verification are turned on.