file argument is an I/O stream
        to which the output is written; by default output is written
        to sys.stderr.
        )