Hello, world! (python)