Hello world from a function in Python