Hello world in Python