option "logfile" L #~~~~~~~~~~~~~~~~~ "where to write log output" string typestr="filename" optional details=" If this option is not given, CURRENT_PROGRAM writes the log messages to to stderr "