Editing: fileinput.pyo