Python 3.2 library