Eli Bendersky added the comment: I'm not sure. This is why I'm proposing asking on python-dev ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue19176> _______________________________________