python 2.5 syntax