[Python-Dev] codecs question