 VFY or VERIFY is used to check the consistency of Files-11 volume
 structure, alter the volume structure, or obtain other information
 about the volume. The general form of the command line is:

	listfile,scratchdev=indev/switch
 or
	indev/switches	(short form of TI:,SY:=indev/switches)

 where:	listfile   = output listing file
	scratchdev = device on which to put scratch file
	indev      = device on which to perform the operation


 For a list, and brief description, of legal switches type

	HELP VFY SWITCHES

 For help on a particular switch type

	HELP VFY <switch>
2	SWITCHES
Legal switches are:

   (no switch)	Default function: check validity of the volume
	/DE	Reset marked-for-delete attributes of all files	*
	/FR	Display free space on volume
	/LI	List index file
	/LO	Scan for lost files and make entry in [1,3]	*
	/RC:n	Perform read check
	/RE	Rebuild free storage bit map			*
	/UP	Update free storage bit map			*

 Switch descriptions followed by "*" indicate powerful features of
 VFY which should be used with great discretion.
2	DEFAULT
	#VALIDITY
2	DELETE
	/DE		Delete Switch

 The Delete switch resets the marked-for-delete indicators in the file
 header area of files that were marked for deletion but never actually
 deleted.  The format is:-

	VFY indev/VE

 The volume indev must be mounted with the /UNL switch, and VFY must be
 running under a system UIC.
2	FREE
	/FR		Free Space Switch

 The Free switch displays the available space on a specified volume.
 The format is:-

	VFY indev/FR
2	LIST
	/LI		List Files Switch

 The List switch lists the entire index file by file ID.  The output for
 each file specifies file ID, filename and owner.  The format is:-

	VFY <listfile=>indev/LI		(listfile defaults to TI:)
2	LOST
	/LO		Lost Files Switch

 The Lost switch scans the entire file structure looking for any files
 which are not in any directory and, thus, are lost in that they cannot
 be referenced by filename.  A list of the files is produced, and if the
 "lost files directory" [1,3] exists on that volume, all the files will
 be entered in that directory.  The format is:-

	VFY <listfile=>indev/LO
2	RC
	#READ
2	READ
	/RC[:n]		Read Check Switch

 The Read Check Switch checks to ensure that every block of every file on
 the given volume can be read.  The format is:-

	VFY indev/RC:n

 where:	n = blocking factor specifying the number of file
	    blocks to be read at once.  To use this option it is necessary
	    to install VFY with an increment.  The default is the largest
	    number of blocks that will fit in VFY's buffer space.
2	REBUILD
	/RE		Rebuild Switch

 The Rebuild switch recovers lost blocks - that is blocks that appear to
 be allocated but which are not contained in any file.  The format is:

	VFY	<listfile><,scratchdev><=>indev/RE

 Multiply-allocated blocks must be removed from the file structure before
 rebuild can be run successfully.  The volume being updated must be
 write-enabled and VFY must be running in a system UIC.

 The scratch file should be located on another volume.  If this is
 impossible, the volume must be dismounted immediately after VFY terminates.
 (Failure to do this may result in partial updating of the storage
 allocation bitmap.)  Then the volume should be mounted again, and the scratch
 file deleted manually.  VFY issues a detailed message in this case,
 specifying the name of the scratch file to be deleted.
2	UPDATE
	/UP		Update switch

 The Update switch allocates all blocks that appear to be available but
 are actually allocated to a file.  The format is:-

	VFY <listfile><,scratchdev><=>indev/UP

 Files with multiply allocated blocks must be deleted from the file
 structure before the update can be run.  The volume being updated must be
 write-enabled.  VFY must be running under a UIC.

 The scratch file should be located on another volume.  If this is
 impossible, the volume must be dismounted immediately after VFY terminates.
 (Failure to do this may result in partial updating of the storage
 allocation bitmap.)  Then the volume should be mounted again, and the scratch
 file deleted manually.  VFY issues a detailed message in this case,
 specifying the name of the scratch file to be deleted.
2	VALIDITY
	<no switch>	Validity Check

 Validity Check (no switch) checks the readibility and validity of the
 volume mounted on the specified device.  This function entails reading
 all the file headers in the index file and ensuring that all the disk
 blocks referenced in the map area of each file header are marked as
 allocated to a file in the volume bit map.  The format is:-

	VFY indev
