[Python-Dev] sorted()