python 3 syntax