Python 3.3 port