xml-file
Specifies the name of the XML file to be written.
# xml-file(command-line) == # (base name from command-line) + XML_EXTENSION