The output command specifies the name which will be
used for the output file when the end command is
encounted.
The sole parameter is the name of the file. The file name
extension should be specified (normally it will be ".EWM").
There is no default file name extension.