Python codecs for PETSCII encodings