Copyright
Digital Equipment Corp.
All rights reserved.
Parameter
file-spec Specifies a command file to be executed by the EXECUTE (@) command.