Editing: PyShell.pyo