Copyright
Digital Equipment Corp.
All rights reserved.
Parameter
file-spec Names the file specification of an image installed as a known image.