option "config_file" c
#~~~~~~~~~~~~~~~~~~~~~
"(default='DEFAULT_CONFIG_FILE')"
string typestr="filename"
optional
details="
CURRENT_PROGRAM reads its config file right after parsing
the options that were given at the command line. If an
option is given both at the command line and in the
config file, the value that was specified at the command line
takes precedence.
"