Editing: codecs.pyc