LOG_FILE is the name of the file to which
we will write duplicates of all error messages written to
the standard error stream. OUT_EXTENSION
is the file extension added to the input file name to
form the output file name.
#================================================================ # Manifest constants #---------------------------------------------------------------- LOG_FILE = "iband.log" OUT_EXTENSION = ".ban"