This specifies the name of the text file to contain the exported
 information.

     FILE data-file-name

 See the EXPORT_FILE topic for more information on the contents of
 this file.