Parameter

([NO]PROCEDURE, [NO]IMAGE)

   Specifies one or both types of verification. Procedure
   verification causes each DCL command line in a command procedure
   to be written to the output device. Image verification causes
   data lines (input data that is included as part of the SYS$INPUT
   input stream) to be written to the output device.

   By default, both types of verification are set or cleared with
   SET VERIFY and SET NOVERIFY. If you specify only one keyword, the
   other is not affected. If you specify only one keyword, omit the
   parentheses.