Editing: hex_codec.pyc