DEFAULT_ECO_FILE, /* eco_file (-e) */
(FILE *)NULL, /* outputfile (-o, -a). Default is stdout */
(char *)NULL, /* output_filename (-o, -a) */
DEFAULT_ECO_FILE, /* eco_file (-e) */
(FILE *)NULL, /* outputfile (-o, -a). Default is stdout */
(char *)NULL, /* output_filename (-o, -a) */